doc.css

body {margin:0 0 3ex}
h1   {margin:1ex}
pre  {font-size:small; overflow-x:auto}
.comment, .code {display:inline-block}
.comment {width:37%; margin:0 2% 0 1%}
.comment code {
 background-color:rgba(0,0,0,.08); padding:0 .5ex;
 border-radius:1ex; -moz-border-radius:1ex; -webkit-border-radius:1ex;
}
.comment pre > code {display:block; background-color:transparent}
.code    {width:60%; float:right}
.block   {clear:both; position:relative}
.anchor  {position:absolute; font:bold small mono-space}
.pointee {font-weight:bold}
#nav.menu {
 position:fixed; top:0; right:0; z-index:5;
 margin:0; padding:3px 0.5em; list-style:none;
 border-width:0 0 3px 3px; border-style:solid;
 border-radius     :0 0 0 1.5ex;
 -moz-border-radius:0 0 0 1.5ex;
 -webkit-border-bottom-left-radius:1.5ex;
}
.comment:not(:hover) > .anchor
, #nav.menu > h1
, #nav.menu:not(:hover) > :not(.pointee)
, #nav.menu:hover > .pointee
, #nav:not(.menu) > .pointee
, #nav:not(.menu) > .index
{display:none}

/* prettify */
.pln {color:#000}
.var {color:#444}
.com {color:#777}
.str {color:#080}
.kwd {color:#008}
.typ {color:#800}
.lit {color:#066}
.ctx {color:#660}
.glb {color:#606}