body{background:#000;color:lime;color-font-size:14pt}code{background:#333;padding-left:.3em;padding-right:.3em;padding-top:.2em;padding-bottom:.2em}