Ben Alpert fb7e157cba 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-19 23:24:49 +01:00
..
header_links.rb	Make doc headers clickable again	2013-11-19 23:24:49 +01:00
highlight_lines.rb	Initial public release	2013-05-29 12:54:02 -07:00