body{ font-family: arial; font-size: small;  width: 80%; margin: 0 auto;}
code, pre { font-size: medium; }
p { line-height: 1.5em }
pre { border-left: 1px solid #bbb; padding: 0 0 0 1em; }