body
{ 
	background-color: #000077;
	color: #bbbbff;
}

a {
	color: #bbbbff;
	text-decoration: none;
	font-weight: bold;
}

a:link {
	color: #eeeeee;
}
a:visited {
	color: #bbbbcc;
}
a:active {
	color: #ffffff;
}
a:hover {
	color: #ffffff;
	text-decoration: underline;
}


a img, pre.menu img { 
	border: none;
	vertical-align: middle;
}


a.menu {
	font-family: palatino, garamond, "courier new", courier, monospace, fantasy;
	font-size: 120%;
	background-color: #000077;
	color: #bbbbff;
	text-decoration: none;
	font-weight: bold;
	text-align: right;
	white-space: nowrap;
}
a.menu:link {
	background-color: #000077;
	color: #5555bb;
	text-decoration: none;
	white-space: nowrap;
}

a.menu:visited {
	background-color: #000077;
	color: #5555bb;
	text-decoration: none;
	white-space: nowrap;
}
a.menu:active {
	background-color: #000077;
	color: #ffffff;
	text-decoration: none;
	white-space: nowrap;
}
a.menu:hover {
	background-color: #000077;
	color: #aaaaff;
	text-decoration: none;
	white-space: nowrap;
}


pre {
	color: #dddddd;
}


div.result {
	width: 70ex;
}


div.result a{
	text-decoration: underline;
	font-weight: normal;
}


div.logo {
	font-size: 70%;
}


div.current {
}

table {
	padding-bottom: 0px;
	margin-bottom: 0px;
}


div.submenu {
	font-family: palatino, garamond, "courier new", courier, monospace, fantasy;
	font-weight: normal;
	text-align: left;		
	padding-bottom: 0px;
	margin-bottom: 0px;
}
div.submenu b {
	color: #ffffff;
	background: #5555bb;
	border-style: double; 
	border-color: #ffffff #000000 #5555bb #ffffff;
	border-width: 3px;
}
div.submenu A {
	color: #bbbbcc;
	background: #333399;
	border-style: double; 
	border-color: #000000 #000000 #111177 #000000;
	border-width: 3px;
}
div.submenu A:link {
	background-color: #333399;
	color: #bbbbcc;
}
div.submenu A:visited {
	background-color: #333399;
	color: #bbbbcc;
}
div.submenu A:active {
	background-color: #333399;
	color: #bbbbcc;
}
div.submenu A:hover {
	color: #ffffff;
	text-decoration: none;
	background: #5555bb;
	border-color: #ffffff #000000 #5555bb #ffffff;
}


h3 {
	color: #eeeeee;
	font-size: 100%;
	background: #5555bb;
	text-align: center;
	margin-top: 0px;
	margin-bottom: 1ex;
}