html {
	background-color: white;
	color:            black;
}

span#logo {
	vertical-align: -50%;
}

span#title {
	font-size:        28pt;
	font-weight:      normal;
	font-style:       italic;
}

span#subtitle {
	font-size:        10pt;
	font-weight:      normal;
	font-style:       normal;
}

span#subtext {
	font-size:        9pt;
	font-weight:      normal;
	font-style:       normal;
}

h1 {
}

h2 {
}

pre {
	white-space:      pre;
	padding:          0.3em;
	border-color:     #ddeeff;
	border-style:     outset;
	border-width:     2px;
	background-color: #ddeeff;
}

.status {
	font-size:  small;
	font-style: italic;
	text-align: right;
}

.updated {
	font-size: small;
	color: red;
}

.new {
	font-size: small;
	color:     red;
}

.notice {
}

.warning {
	color: red;
}

ul.list {
	margin-top: 8px;
	margin-bottom: 8px;
}

img.left {
	float: left;
	border: 0px;
	margin: 0px 5px 0px 0px;
}

img.right {
	float: right;
	border: 0px;
	margin: 2px 0px 5px 10px;
}

img.window {
	float: right;
	border: 0px;
	margin: 2px 0px 5px 5px;
}

div.title {
	background-color: #ddeeff;
	padding: 2px;
}

div.head {
	border: 0px;
	padding: 0 0 5px 0;
}

div.main {
	margin-top:10px;
	margin-left: 11em;
	padding:0px;
}

div.main p {
	margin: 0 1em 1em 0;
}

div.main h1 {
	font-size: large;
	margin: 0 0 1em 0;
	border-bottom: solid #88c7ff;
}

div.main h2 {
	font-size: medium;
	margin: 0 0 1em 0;
	border-bottom: thin solid #88c7ff;
}

div.main h3 {
	font-size: medium;
	margin: 0 0 0.5em 0;
	padding-left: 4px;
	border-left: solid #aad7ff;
}

div.main h4 {
	font-size: medium;
	margin: 0 0 0.3em 0;
}

div.body {
}

div.footer {
	font-size: small;
}

div.sidebar {
	float: left;
	width: 10em;
	padding-top: 10px;
	padding-right: 10px;
}

div.menu {
	border: 1px;
	border-color: #7799bb;
	border-style: solid;
	margin: 0 0 0.5em 0;
	padding: 2px;
	background-color: #ddeeff;
}

div.menu p {
	line-height: 120%;
	text-align: left;
	margin: 4px 4px 4px 4px;
}

div.list {
	border: 1px;
	border-color: #7799bb;
	border-style: solid;
	background-color: #ddeeff;
}

div.updateinfo {
	border: 1px;
	border-color: #7799bb;
	border-style: solid;
	margin-bottom: 10px;
	background-color: #ddeeff;
}

div.downloadinfo {
	border: 1px;
	border-color: #7799bb;
	border-style: solid;
	margin: 0px 0px 5px 5px;
	padding: 4px;
	background-color: #bbddff;
}

div.right a {
	text-decoration: none;
}

span#link {
	text-decoration: underline;
}

div.banner {
	margin-bottom: 10px;
	border-style: none;
}

div.banner img {
	border-style: none;
}

div.right {
	float: right;
	border: 0px;
	margin: 2px 0px 5px 5px;
}