body {
	background: #EEEEEE;
}

div.title {
	text-align: center;
	width: 70%;
	margin-right: auto;
	margin-left: auto;
}

div.logo_main {
	font-family: sans, arial, helvetica;
	font-size: 45pt;
	border: #000000 4px solid;
	background: #DDDDFF;
	text-align: center;
}

div.logo_sep {
	font-size: 0pt;
	border: #000000 2px solid;
	margin-top: 3px;
	margin-bottom: 2px;	
}

div.logo_sub {	
	font-family: mono, courier;
	font-size: 15pt;
	text-align: center;
	margin-bottom: 2px;
}

div.main {
	border: #222222 2px solid;
	margin-right: auto;
	margin-left: auto;
	width: 70%;
	padding: 2px;
}

div.menu_cont {
	width: 19%;
	float: left;
	margin: 4px;
	background: #FFFFFF;
	display: block;
}

div.menu_body_top div {
        background: url(images/tl.gif) no-repeat top left;
}

div.menu_body_top {
        background: url(images/tr.gif) no-repeat top right;
}

div.menu_body_bot div {
	background: url(images/bl.gif) no-repeat bottom left;
}

div.menu_body_bot {
	background: url(images/br.gif) no-repeat bottom right;
}

div.menu_body_top div, div.menu_body_top, div.menu_body_bot div, div.menu_body_bot {
	width: 100%;
	height: 7px;
	font-size: 1px;
}

div.menu_body, div.menu_body a {
	margin: 0 7px;
	padding-top: 2px;
	padding-bottom: 2px;
	font-family: mono, courier;
	font-size: 12pt;
	color: #000000;
	text-decoration: none;
}

div.menu_body a:hover {
	color: #555599;
	text-decoration: none;
}

div.main_body_cont {
	display: block;
	margin-left: 22%;
	width: 76%;
	background: #FFFFFF;
	margin-top: 4px;
	margin-bottom: 4px;
}

div.main_body_top div {
	background: url(images/tl.gif) no-repeat top left; 
}

div.main_body_top { 
	background: url(images/tr.gif) no-repeat top right; 
}

div.main_body_bot div { 
	background: url(images/bl.gif) no-repeat bottom left; 
}

div.main_body_bot { 
	background: url(images/br.gif) no-repeat bottom right; 
}

div.main_body_top div, div.main_body_top, div.main_body_bot div, div.main_body_bot {
	width: 100%;
	height: 7px;
	font-size: 1px;
}

div.main_body {
	margin: 0 7px;
	font-size: 12pt;
}

div.main_body a {
	color: #000000;
	text-decoration: none;
	font-family: mono, courier;
	font-weight: bold;
	font-size: 12pt;
}

div.main_body a:hover {
	color: #555599
}

h3 {
	font-family: mono, courier;
	text-align: center;
	font-size: 16pt;
}

div.main_body pre {
	font-family: mono, courier;
	font-size: 9pt;
	white-space: pre;
	overflow: auto;
}

div.copyright {
	text-align: center;
	font-family: mono, courier;
	font-size: 8pt;
	width: 100%;
}

img.screenshot {
	width: 70%;
	height: 70%;
}

div.screenshots {
	margin-left: auto;
	margin-right: auto;
	text-align: center;
}

div.w3cbuttonx {
	position: absolute;
	left: 20%;
	margin-top: 2pt;
}

div.w3cbuttonc {
	position: absolute;
	right: 20%;
	margin-top: -8pt;
}

div.w3cbutton3 {
  width: 9em;
  border: 1px solid #ccc;
  font-family: helvetica,arial,sans-serif;
  font-size: 8pt;
  font-weight: bold;
}
div.w3cbutton3 a {
  display: block;
  width: 100%;
}
div.w3cbutton3 a:link,
div.w3cbutton3 a:visited,
div.w3cbutton3 a:hover {
  background-color: #bcf;
  color: #000;
  text-decoration: none;
}
div.w3cbutton3 span.w3c {
  padding: 0 0.4em;
  margin: 0;
  background-color: #fff;
  color: #0c479d;
}

input, textarea {
	border: #000000 1px solid;
	background: #eeeeee;
}