This may or may not be up-to-date (you may want to check the last updated date below...).
/* -*-HTML-*- */ body {color: black; background:white url(images/gradient.gif) repeat-y; margin-left:10%;margin-right:10%} h1, h2, h3 {font-family:sans-serif} address {font-size:small; font-style:normal; white-space:pre; padding-top:1em; text-align:left; clear:both} .large {font-size:150%} a:link, a:active, a:visited, a:hover {text-decoration:none; font-weight:bold; color:red} a:visited {color: #309} a img {border: 0; color: white} /* Don't display a border. */ p.indented {text-indent: 2em} p.important {border: thin inset black} .centre {text-align: center} #buttons {position: relative; visibility: hidden} #buttons a {position: relative; visibility: visible} #buttons a {color: white; background: #C00; text-decoration:none; font-weight:bold; font-family:sans-serif; font-size: 80%} .nobullet li {list-style: none} ul.nobullet {position: relative; left: -3em} .main {margin-left: 10%} #sidebar {position: absolute; top: 40px; left: 5px; width: 20%; background: white; border: thin solid black} /* change */ #sidebar .misc {display: none} #sidebar a {color: white} .fakelink {color: silver} #sidebar a, #sidebar .fakelink {display: block} #sidebar a, #sidebar .fakelink { background: red; font-weight: bold; margin-top: 0.1em; text-decoration: none; font-family: sans-serif} blockquote {border: thin inset black}