[feature request] top bar containing links to anchors

[junk]

top bar containing links to anchors equivalent of < href="#anchor" in html