body{font:13px/1.5 Verdana,'Helvetica Neue',Arial,'Liberation Sans',FreeSans,sans-serif;color:#000;}
pre,code{font-family:'DejaVu Sans Mono',Menlo,Consolas,monospace}