/*
bgcolor="#ffffff"
text="#204040"
link="#602020"
vlink="#708080"
alink="#90a0a0"
*/

body {
	background: #fff none;
	color: #000;
}
a:link {
	color: #446498;
	background-color: transparent;
	text-decoration: underline;
}
a:visited {
	color: #433e6f;
	background-color: transparent;
	text-decoration: underline;
}
a:hover {
	background-color: transparent;
	text-decoration: underline;
}
a:active {
	color: #000;
	background-color: transparent;
	text-decoration: underline;
}

a img {
	border-style: solid;
	border-width: 1px;
}
a.noborder img {
	border-width: 0px;
}

div.body {
	/* This doesn't work on Windows Explorer 7.0.5730.11
	 * Ohh, good, I've entered the world of browser brokenness!
	 * width: 80%;
	 * margin: 0px auto;
	 * So use this insetad
	 */
	margin-left:  5%;
	margin-right: 5%;
}

div.body-image {
	text-align:   center;
}
div.banner {
	text-align:   center;
}
div.copyright {
	text-align:   right;
	font-size:    70%;
}
div.navi {
	text-align:   right;
}
div.navbar {
	text-align:   center;
}
div.terminal {
	width: 40em;
	padding: 1em;
	color: #fff;
	background-color: #000;
}
div.no_width_terminal {
	padding: 1em;
	color: #fff;
	background-color: #000;
}

tr {
	vertical-align: top;
	background-color: #e0e0e0
}

/* http://www.sovavsiti.cz/css/hr.html */
div.hr {
}
div.hr hr {
}

dt {
	font-weight: bold;
	color: #446498;
	margin-top: 1ex;
}
dd {
	margin-left: 1em;
}


h1 {
	color: #446498;
}
h2 {
	color: #446498;
}
h3 {
	color: #446498;
}
h4 {
	color: #446498;
}