pre { border: 1px solid black;background-color: #cccccc;margin: 8pt 0pt 8pt 0pt;width: 65em;padding: 6pt;}
code { margin: 0; padding: 0; white-space: pre-wrap; }
body{color:black;background-color:#e4dfce;margin:0 0 0 0px;padding:0;font-family:"Times New Roman",Georgia,Serif;font-size:12pt;}
div.top { width: 100%;background-color: black; color: white; padding: 0pt 12pt 0pt 12pt;font-family: "Arial",Helvetica,sans-serif;position: fixed; z-index: 10;height: 28pt;}
div.top div.right { position: fixed; top: 5pt; right: 10pt; }
div.top div.right form { display: inline; }
div.top div.right a.menu { color: white; font-family: "Arial",Helvetica,sans-serif; text-decoration: none; padding: 0 4pt 0 4pt; margin: 0 2pt 0 2pt; }
div.top div.right a.menu:hover { background-color: white; color: black;}
div.top h1 a { color: white; text-decoration: none; }
div.top h1 a:hover { color: #20FF20; text-decoration: none; }
div.main { width: 100%;margin: 0;padding: 34pt 12pt 0pt 12pt; }
span.BUG { font-family: "Arial";background-color: red;color: white;padding: 0 2pt 0 2pt;margin-right: 4pt;border: 1px solid grey;text-decoration:none;}
span.ARTICLE { font-family: "Arial";background-color: blue;color: white;padding: 0 2pt 0 2pt;margin-right: 4pt;border: 1px solid grey;text-decoration:none;}
span.TASK { font-family: "Arial";background-color: yellow;color: black;padding: 0 2pt 0 2pt;margin-right: 4pt;border: 1px solid grey;text-decoration:none;}
span.IDEA { font-family: "Arial";background-color: #BBBBFF;color: black;padding: 0 2pt 0 2pt;margin-right: 4pt;border: 1px solid grey;text-decoration:none;}
h1 { margin: 0; padding: 0 0 0 8pt; display: inline; }
div.main h1 a { color: black; text-decoration: none; }
div.main h1 a:hover { color: #888888; text-decoration: none; }
a.category { color: black; text-decoration: none; font-weight: bold; padding: 0 4pt 0 4pt;}
a.category:hover { background-color: #BBBBBB;}
li.TODO span {background-color: white; padding-right: 4pt;}
li.DONE span {background-color: #CCFFCC; padding-right: 4pt;}