BODY
{
	margin: 0px;
	background: #000088 url("images/backgrounds/sea.jpg");
	font-family: sans-serif;
	color: black;
}

A:link {color: blue;}
A:visited {color: red;}
A:hover, A:active {color: #8888ff;}

A.breadcrumb, SPAN.breadcrumb
{
	font-size: small;
	background: #ddddff;
	border: 1px solid blue;
	color: black;
	text-decoration: none;
}

A.icon IMG
{
	border: none;	
	margin-right: 1ex;
}

A.screenshot
{
	background: #8888ff;
	border: 1px solid blue;
	color: white;
	text-decoration: none;	
}

DIV#container
{
	width: 980px;
	min-height:600px;
	height:auto;
	margin:5px auto auto auto;
	background: #ffffff;
	overflow:hidden;
}

DIV#corner
{
	position:absolute;
	top:0px;
	left:0px;
	font-size:smaller;
	padding: 1px;
}

DIV#top
{
	position:relative;
	text-align: center;
	height: 40px;
	line-height: 40px;
	background: #eeeeff url("images/chrome/bluehori.png");
	font-size: x-large;
}

DIV#choose 
{
	background: #ccccff url("images/chrome/bluevert.png");
	width: 160px;
	min-height:560px;
	float: left;
	padding: 5px;
}

DIV#main
{
	background: #ffffff;
	width: 800px;
	min-height:560px;
	padding: 5px;
	float:right;
}

DIV.mitem, A.mitem, DIV.mheader
{
	padding: 0.5ex 1ex 0.5ex 1ex;
	border-bottom: 1px solid #8888ff;
	display:block;
}

DIV.mheader
{
	text-align:center;
}

H1, H2
{
	text-align: center;
}

H1 {font-size: x-large;}
H2 {font-size: large;}

DIV.licence, DIV.content, DIV.spaced, DIV.gbitem
{
	margin-top: 0.5ex;
	margin-bottom: 0.5ex;
	padding: 1ex;
}

DIV.licence
{
	background: #ff0000;
	color: white;
	border: 1px solid #ff8888;
}

div.pubtitle {
 	text-transform: uppercase;
 	text-align: center;
}

div.pubabstract {
 	border-top: 1px solid #8888ff;
 	display: none;
 	margin: 1ex;
}

div.pub, div.pubtitle {
	margin: 1ex;
}

div.pub dfn {
	font-style:normal;
	font-weight:bold;
}

div.pub dfn i {
	color: red;
}

div.pub em {
	font-style:normal;
}

div.pub cite {
	font-style:italic;
}

div.pub span.menu, div.pub a.menu {
	background: #ddddff;
	border: 1px solid blue;
	color: black;
	text-decoration:none;
	margin: 0 3px 0 3px;
}

BODY.snazzy
{
	background: #000000 url("../images/backgrounds/stars.gif");
	color: white;
}

BODY.snazzy DIV#container
{
	background: none;
	color: white;
	width: auto;
	margin-left: 20px;
	margin-right: 20px;
}

BODY.snazzy DIV#top
{
	background: none;
}

BODY.snazzy DIV#corner
{
	background: none;
}

BODY.snazzy A.breadcrumb, BODY.snazzy SPAN.breadcrumb
{
	border-color: #bbbbff;	
}

div.gb1
{
	width: 160px;
	float: left;
}

div.gb2
{
	width: 800px;
}

div.gbitem
{
	border-bottom: 1px #8888ff solid;
}