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}