html { font: 62.5% verdana, helvetica, sans-serif }
body { font-size:1.2em }
.bug { color: #aa0000; }
.bug_fix { color: #00aa00 }