Ben Alpert e94ebee15e Make doc headers clickable again ...

...without preventing clicks on other things.

Just use an `<a name="...">` tag that doesn't take up any space to make sure that we're not covering up something else.

For whatever reason, doing `position: relative; top: -$navHeight;` doesn't work and causes the anchor target not to be moved up. This solution works in both Chrome and Firefox.

2013-11-18 17:34:44 -08:00

..

header_links.rb

Make doc headers clickable again

2013-11-18 17:34:44 -08:00

highlight_lines.rb

Initial public release

2013-05-29 12:54:02 -07:00