body {margin: 0; background-color: #ffffff; color: #444444}

.timestamp {text-align: right;}

body, td, th, div, span, table, tr, td, th, p, ul, li, input, textarea, blockquote, span {font-family: arial, helvetica, sans-serif; font-weight: normal; font-size: small;}
.background {background-color: #003366; background-repeat: repeat-x; padding: 0px;}
.backgroundbar {background-image: url("http://www.ast.cam.ac.uk/~ljw/ioa_new/images/barback.gif"); } 

p, ul, li {text-align: justify;}
li {margin-top: 4px;}
pre, tt {font-size: x-small;}
hr {border: 0; height: 2px; color: #48ae7b; background-color: #48ae7b;}
th {text-align: left; color: #777777; font-weight: bold;}

a {text-decoration: none; color: #000689}
a:hover {text-decoration: underline}

.bar {font-size: normal;}
a.bar {color: #2f58b9;}

.toolbar {font-size: normal; color: white; text-align: right;}
.toolbar a {color: white;}

h1, h2, h3, h4, h5, h6 {color: #444444; font-weight: bold;}
h1 {font-size: huge; margin-top: 13px;}
h2 {font-size: huge; margin-top: 30px; margin-bottom: 5px; font-style: italic;}
h3 {font-size: large; margin-left: 5px;}
h4 {font-size: normal; margin-left: 10px;}
h5 {font-size: normal; margin-left: 10px; font-style: italic;}
h6 {font-size: small; margin-left: 10px; font-style: italic;}


/* Menu */
div.menu {font-size: normal; color: #333333; border-bottom: 1px solid #efefef; width: 150px;}
div.menu a { font-size: 110%; display: block; padding-top: 2px; padding-bottom: 2px; border-top: 1px solid #efefef;}
div.menu a:hover {background-color: #f7fbff; text-decoration: none;}
div.menu div.submenu a {font-weight: normal; font-size: normal; padding-top: 1px; padding-bottom: 1px; border-top: none;}
div.menu div.submenu a:hover {background-color: transparent; text-decoration: underline;}


/* News */
div.news {font-size: normal; font-weight: bold; color: #333333; border-bottom: 1px solid #bfbfbf;}
div.news a {font-weight: bold; font-size: 110%; display: block; padding-top: 2px; padding-bottom: 2px; border-top: 1px solid #bfbfbf;}
div.news a:hover {background-color: #f7fbff; text-decoration: none;}


/* Specific classes */
.signature {text-align: right;}
.faded {color: #666666;}
.highlight {background-color: #ffff99;}
.spaced li {margin-top: 12px;}


/* Modern table style */
table.border {border: 1px; border-collapse: collapse; border-spacing: 0px;}
table.border td {border: 2px #eeeeee solid; padding: 4px;}


/* 'Lines' table style */
table.lines {border-collapse: collapse; width: 95%;}
.lines td, .lines th {border-bottom: 1px solid #e9e9e9; padding: 6px 4px 2px 4px; vertical-align: top;}
.lines td:first-child {width: 150px;}
.lines tr:first-child {border-top: 1px solid #e9e9e9;}


/* Cluster styles */
table.background td, table.background td a, table.background td a:hover, table.background td a:visited, table.background td a:active {color: #222222; font-weight: bold;}
a.cluster {font-size: 140%;}
td.cluster {color: #666666; font-weight: bold; font-size: 140%;}
td.cluster h3 {color: #666666; font-size: 160%;}
table.gqc td a, table.gqc td a:hover {font-family: "comic sans ms", arial, helvetica, sans-serif; font-size: 120%; font-weight: bold; color: #666;}

.title {font-size:130%; color: #990000; font-weight: normal;}
.larger {font-size:180%;}
.bigger {font-size:1.5em;}


/* Menustrip table */
table.menustrip {background: #48ae7b}
table.menustrip td {border: 1px solid white}
table.menustrip a {color: white}

table.members {width: 500px; border: 1px}
table.members th {background: #cccccc}
table.members td {background: #dddddd}