html, body
{
	background: black;
	color: white;
	margin: 0;
	padding: 0 0 5px;
	font-family: sans-serif;
}
#bg1
{
	background: #012 url(images/bg_top.png) top repeat-x;
	color: #DEF;
}
#bg2
{
	background: url(images/bg_bottom.png) bottom repeat-x;
}
#bg3
{
	background: url(images/bg_left.png) left repeat-y;
}
#bg4
{
	background: url(images/bg_right.png) right repeat-y;
}
#bg5
{
	background: url(images/bg_topleft.png) top left no-repeat;
}
#bg6
{
	background: url(images/bg_bottomleft.png) bottom left no-repeat;
}
#bg7
{
	background: url(images/bg_bottomright.png) bottom right no-repeat;
}
#logo
{
	text-align: center;
}
#logo img
{
	background-color: #012;
	display: block;
	margin: 0 auto;
}
#content
{
	padding: 0 40px;
}
#w3c
{
	height: 40px;
	line-height: 40px;
	text-align: right;
	padding: 0 40px;
}
#w3c :link, #w3c :visited
{
	margin-left: 1.5em;
}
#w3c img
{
	border: 0;
	vertical-align: middle;
}

#sidebar
{
	float: right;
	width: 200px;
	background: url(images/sidebar_top.png) top no-repeat;
}
#sidebar ul
{
	background: url(images/sidebar_bottom.png) bottom no-repeat;
	padding: 80px 0 20px 0;
	margin: 0;
}
#sidebar li
{
	list-style: none;
	margin: 0;
	padding: 0;
}
#sidebar li .newgroup
{
	background: url(images/sidebar_padding.png) repeat-y;
	padding-top: 20px;
	width: 200px;
}
#sidebar :link,
#sidebar :visited
{
	background: url(images/sidebar_button.png) no-repeat;
	display: block;
	/* width: 200px; */
	/*
	fix weirdness with Mozilla overflowing the edge of the screen by 1px and getting a horizontal scrollbar
	when a link is clicked and the border is added
	*/
	width: 199px;
	text-align: center;
	padding: 0 0;
	font: 15px/40px sans-serif;
	height: 40px;
	color: black;
	text-decoration: none;
}
#sidebar :link:hover,
#sidebar :visited:hover,
#sidebar :link:active,
#sidebar :visited:active
{
	background: url(images/sidebar_hover.png) no-repeat;
	color: black !important;
	text-decoration: none !important;
}

#printfooter
{
	display: none
}

#servetime
{
	position: absolute;
	top: 62px;
	right: 203px;
	font-size: 10px;
}

/* brighter colours for the dark background */
.highlight .comment
{
	font-style: italic;
	color: #3F3;
}
.highlight .default
{
	color: #66F;
}
.highlight .html
{
	color: #DEF;
}
.highlight .keyword
{
	color: #FFF;
	font-weight: bolder;
}
.highlight .string
{
	color: #F66;
}
.highlight .default :link,
.highlight .default :visited
{
	color: #66F;
}
.highlight .keyword :link,
.highlight .keyword :visited
{
	color: #FFF;
}
.highlight .string :link,
.highlight .string :visited
{
	color: #F66;
}

h1
{
	display: none;
}

#anybrowser
{
	padding: 10px 10px 0;
	font-size: 66.667%;
}