html, body {
  background: white;
  margin: 0px;
  padding: 0px;
  font-family: Bitstream Vera Sans, Trebuchet MS, Trebuchet, Verdana, Arial, Sans-serif;
  font-size: 9pt;
  height: 100%;
}

td {
  font-family: Bitstream Vera Sans, Trebuchet MS, Trebuchet, Verdana, Arial, Sans-serif;
  font-size: 9pt;
}

pre {
	padding: 1em;
	border: 1px dashed #2f6fab;
	color: black;
	background-color: #f9f9f9;
	line-height: 1.1em;
}

#header {
  font-size: x-large;
  fnot-weight: bold;
  color: white;
  padding: 10px;
  padding-left: 50px;
  border-bottom: 1px #333333 solid;

  background-image:url(top.jpg);
  background-repeat:no-repeat;
  background-attachment:fixed;
}

#header img {
  position: absolute;
  left: 10px;
  top: 80px;
  float: left;
}

#navbar {
  list-style: none;
  margin: 0px;
  padding: 0px;
  padding-left: 172px;
  border-bottom: 1px #333333 solid;
  background: #fafbfa;
}

#navbar li {
  display: inline;
}

#navbar li a {
  text-decoration: none;
  color: #112211;
  background: #aabaa1;
  border: 1px black solid;
  padding: 3px 6px 4px 6px;
 
  font-family: courier;
  font-size: 14px;
}

#navbar li a:hover {
  background: #F8F8Ff;
}

#content {
  padding: 15px;
  margin-left: 14px;
  margin-top: 10px;
}

.section {
	padding-top: 10px;
}

.section .header {
	border-bottom: 1px #C0C0C0 solid;
}

.section .title {
	font-size: large;
	padding-left: 5px;
	display: inline;
}

.section .date {
	display: inline;
}

.section .body {
	margin: 10px;
	margin-left: 20px;
}

#releases {
	border-spacing: 0px;
	border-collapse: collapse;
	width: 100%;
}

#releases td {
	border-spacing: 0px;
	border: 1px solid #333333;
	padding: 0.4em;
}

.releasetype {
	background: #D3D3D3;
	vertical-align: top;
	padding: 5px;
	font-weight: bold;
}

.packagetype {
	background: #F3F3F3;
}


h2 { 
	font-family:helvetica, arial; 
	font-size:17px; 
	border-bottom: 1px #C0C0C0 solid;
}

h3 { 
	font-family:arial; 
	font-size:14px; 
}

ul.con { 
	color:darkblue; 
	font-family:arial; 
	font-size:14px; 
}