div { font-size:0.8em;  } 
p   { font-family:monospace; white-space:pre; }
ul  { margin:0 0 0 0; padding-left:20px; }
code { font-size:1.2em; }