div.killer{
	padding-top: 0.7em;
	padding-left: 1em;
	margin-left: 11em;
	position: relative;
	background-image: url("/img/shade.png");
	padding-bottom: 1em;
}
div.menu{
	margin-left: 0.3em;
	float: left;
	position: relative;
	margin-top: 0.5em;
	background-image: url("/img/shade.png");
	border-left: dotted;
	border-color: #B9B9B9;
	border-width: 1px;
	padding-right: 0.3em;
	padding-left: 0.2em;
	padding-bottom: 0em;
	overflow: hidden;
}
h2.menuhead{
	font-size: 1em;
	font-variant: small-caps;
}
h1{
	font-size: 2em;
	padding-left: 0.2em;
	font-variant: small-caps;
	background-color: #0C64E8;
	padding-right: 3em;
	float: none;
	color: #9C9C9C;
}
ul.menu{
	display:inline;
	font-family:Arial;
	font-size:0.9em;
	list-style-type:none;
	padding-right:20px;
	text-decoration:none;
}
img.validate{
	border: none;
	padding-top: 1em;
	padding-bottom: 0em;
}
body{
	background-image: url("/img/stripe.png");
}
a{
	text-decoration: none;
}
pre{
	padding-left: 3em;
	font-family:  monospace;
	border-left: solid;
	border-color: #9C9C9C;
	border-width: 2px;
	background-image: url("/img/shade_dark.png");
}
p.credits{
	font-size: 0.6em;
	margin-top: 1.5em;
}
img.logo{
	height: 100%;
}
img.inline{
	float: right;
	margin-right: 0.5em;
	margin-bottom: 0.5em;
	
}
tr.even{
	background-color: #EEEEEE;
}
tr.odd{
	background-color: #BBBBBB;
}
td.points{
	padding-left: 1em;
}
td.nick{
	padding-left: 0.3em;
	padding-right: 0.3em;
}