markdown.css

   1 body { font-family: monospace; font-size: 80%; margin-left: 8%; margin-right: 8%; }
   2 pre { background-color: #cccccc; padding: 2ex; }
   3 dl { margin-left: 2.5%; }
   4 dt { text-decoration: underline; }
   5 strong { color: red; font-weight: bold; }
   6 .caution { color: red; font-weight: bold; }