Updates per PR #304

Mostly symbol renames, but in the CSS, be more restrictive about what
to apply link styling to