split docs
make option names linkable; closes gh-101
removed right margin from top header
fixed a bug with docs menu leaking and addon badges
auto-populate script tag; fixed gh-103