In case if you wonder how the end result looks like here is some links:
- docs view
- source view
BTW it’s all css no js for sake of being able to read the docs from any tool you would’ve think of… For IE most of the css magic is ignored so the index menu and line highlighting won’t work!!