Tree: 3191fb3d76

Commit Graph

5 Commits (3191fb3d76f3f0e2604c8c5e8712e741be154b93)

Author	SHA1	Message	Date
Ben Alpert	dd6f1aee22	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.	11 years ago
Ben Alpert	b59db6058e	Move heading anchors 50px up to avoid nav bar Fixes #447 . We do this by moving the actual anchored element up in the page without moving the actual text. (Apple uses a similar trick in their framed docs.) Now this looks a bit sillier on smaller screens but it's better overall.	12 years ago
Cheng Lou	9c6d46bb14	Add clickable anchors to docs headers Closes #434	12 years ago
Paul O’Shannessy	819a59c995	Docs: Give headers ids for easy linking This gives markdown headers an id so that we can link directly to sections of our docs. This is better than the alternative of adding them all ourselves.	12 years ago
Paul O’Shannessy	eb278167cd	Initial public release	12 years ago