body       { background: black; color: white; font-family: Verdana; font-size: 12px; margin-right: 0px }
a          { text-decoration:none; color: #00ff00 }
a:visited  { color: #00ff00 }
a:hover    { text-decoration:underline; color:black; background: pink }
hr         { color: orange; height: 1px }
hr.file    { color: #806060; height: 1px }
table      { empty-cells: show }
td         { text-align: center; font-size: 12px; font-family: Verdana }
td.left    { text-align: left }
td.right   { text-align: right }
td.sleft   { text-align: left; font-size: 12px }
font.md5   { font-size: 13px; font-family: Times; color: gray }
font.desc  { font-size: 11px; font-family: Georgia; color: pink }
span.filename { color: white; font-family: Georiga; font-weight: bold }
td.platform { font-family: Courier; font-weight: bold }
div.hr     { border-top: silver solid 1px; margin-top: 5px; margin-bottom: 5px }
div.file   { height: 1px; background: #C0C0C0; margin-bottom: 5px; margin-top: 3px }