/* Extracted verbatim from the recovered site's own embedded <style> blocks, de-duplicated across 173 page(s). This is the REAL original site styling, not an approximation. */

pre { color:blue; background:#f0e0f0 }
table.master { background-color: #d0d0d0; color: #000000; width:100% }
table.left a:visited { color: #000080 }
table.left a:link { color: #0000ff }
table.left a:hover { background: #f0f0d0; font-weight:bold }
table.left a { text-decoration:none }
table.left { background-color: #ffff00; color: #000000; width:10%; }
td.leftitem { font-size: small }
table.middle h2 { text-align:center }
table.middle { background-color: #e0d090; color: #000000; width:100%; }
table.right-latest a:visited { color: #000080 }
table.right-latest a:link { color: #0000ff }
table.right-latest a:hover { background: #f0f0d0; font-weight:bold }
table.right-latest a { text-decoration:none }
table.right-latest { background-color: #00ff00; color: #000000; width:100% }
td.right-latestitem { font-size: small }
table.right-moreinfo a:visited { color: #000080 }
table.right-moreinfo a:link { color: #0000ff }
table.right-moreinfo a:hover { background: #f0f0d0; font-weight:bold }
table.right-moreinfo a { text-decoration:none }
table.right-moreinfo { background-color: #80ff00; color: #000000; width:100% }
td.right-moreinfoitem { font-size: small }
table.pt a:hover { background: #f0f0d0; font-weight:bold }
table.pt a { text-decoration:none }
tr.title { background: #ff9030 }
td.name { font-family: monospace }
tr.odd { background: #f0f000 }
tr.even { background: #f0d000 }
table.middle a:hover { background: #f0f0d0; font-weight:bold }
table.middle a { text-decoration:none }
tr.atitle { background: #ff9030 }
tr.btitle { background: #40c0ff }
tr.gtitle { background: #00ff00 }
tr.htitle { background: #ffffff }
tr.ktitle { background: #808080 }
tr.mtitle { background: #ff00ff }
tr.rtitle { background: #ff0000 }
tr.stitle { background: #ff0000 }
tr.wtitle { background: #ffffff }