body
{
  font-size: 10pt;
  background: #f0f0f0;
  color: black;
  font-family: verdana, arial, helvetica, sans-serif;
  width: 835px;
  margin: 0px auto 20px auto;
  border-left-style: solid;
  border-right-style: solid;
  border-bottom-style: solid;
  border-width: 10px;
  border-color: #FFFFFF;  
}

div.logo
{
  text-align: left;
  margin: 0;
  padding: 0;
  height: 100px;
  background-color: #D9B1B1;
}

div.logo img.head
{
	margin: 0;
}

div.bar
{
  font-size: 0;
  height: 3px;
  margin: 0;
  background-color: #870202;	
}

div.navigator
{ 
	background-color: #870202;
	text-align: left;
	padding-bottom: 0;	
	padding-left: 3px;
	padding-right: 3px;
}

table.navigator
{
	width: 100%;
	font-size: 100%;
	border-style: none;
	border-collapse: collapse;
}

table.navigator td
{
    text-align: center;
    border-style: none;
	font-weight: normal;
	padding: 0;
	width: 20%;
}

table.navigator td a
{
	display: block;
	padding-bottom: 2px;
	text-decoration: none;
	color: #F9D9D9;
}

table.navigator td a:active
{
	text-decoration:none;
}

table.navigator td:hover
{
	background-color: #BF2727;
}

table.navigator td.marked
{
	background-color: #EFFDEA;
	color: black;
	font-weight: bold;
}

table.navigator td.marked a
{
	background-color: #EFFDEA;
	color: black;
	font-weight: bold;
	text-decoration: none;
	display: block;
	padding: 0;
	margin: 0;
}
div.border
{
	background-color: #870202;
	padding-left: 3px;
	padding-right: 3px;
	padding-bottom: 3px;
}
div.content
{
	background-color: #EFFDEA;
	height: auto;
	padding-top: 50px;
	padding-bottom: 1px;
}

div.content p.foot
{
	text-align: right;
	margin-top: 50px;
	padding-right: 10px;
	font-size: 80%;
	line-height: 90%;
	color: #870202;
}

div.outer
{
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 40px;
	width: 570px;
	padding: 0;
}

div.head
{
    display: inline;
	color: white;
	text-align: center;
	font-size: 110%;
	font-family: times, serif;
	font-weight: normal;
	letter-spacing: 2pt;
	padding-left: 3px;
	padding-right: 3px;
	font-weight: none; 
	border-style: solid;
	border-width: 2px;
}

.corpus
{
	margin: 0;
    font-size: 100%;
	letter-spacing: 0;
	line-height: 140%;
    font-family: tahoma;
	font-weight: normal;
	border-top-style: solid;
	border-width: 3px;
	padding-top: 0.5em;
	padding-left: 3em;
    padding-right: 3em;
	padding-bottom: 0.5em;
}

div.info
{
	background-color: #D5F5F5;
	border-color: #9CD8D7;
	color: #0C1860;
}

div.info p
{
	margin-left:0;
	margin-right:0;
	padding: 0;
}

.corpus p.download
{
	text-align: center;
}

div.info p.logos
{
	text-align: center;
}

div.info p.center_link
{
	text-align: center;
}

.corpus a
{
	margin: 0;
	text-decoration: none;
	font-weight: bold;
	color: #0C1860;
	font-size: 100%;
}

div.info_head
{
	background-color: #9CD8D7;
	border-color: #9CD8D7;
}

div.list
{
	background-color: #DCE0FA;
	color: #0C1860;
	border-color: #ADAFDF;
}

div.list_head
{
	background-color: #ADAFDF;
	border-color: #ADAFDF;
}

div.list ul
{
	margin-left: 0em;
	margin-right: 0em;
	padding: 0 1em 1px 1em;
}

div.list ul li
{
    padding-bottom: 4px;
    list-style-type: square;
    color: green; 	
}

div.list ul li span
{
  color: #0C1860;
}

div.list li span a
{
    margin: 0;
	text-decoration: none;
	font-weight: bold;
	color: #0C1860;
	font-size: 100%;
}

div#image_binary_viewer
{
	width: 450px;
	margin-left: auto;
	margin-right: auto;
}

div#image_binary_viewer img
{
	margin-top: 5px;
	margin-bottom: 40px;
}

div#screenshots_calculator
{
	width: 395px;
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 40px;
}


div#screenshots_calculator img
{
	margin-top: 5px;
	margin-bottom: 5px;
}

div.navigator2
{
	margin-top: -45px;
	margin-left: 0px;
	margin-bottom: 30px;
	text-align: left;
}

div.navigator2 a
{
	font-family: tahoma;
	text-decoration: none;
	font-weight: normal;
	padding-top: 1px;
	padding-bottom: 1px;
	padding-left: 8px;
	padding-right: 8px;
	color: blue;
	font-size: 9pt;
}

div.navigator2 span
{
	font-family: tahoma;
	text-decoration: none;
	font-weight: normal;
	padding-top: 1px;
	padding-bottom: 1px;
	padding-left: 8px;
	padding-right: 8px;
	color: black;
	font-size: 9pt;
	margin: 0;
}

div.img
{
	height: 0px;
    margin: 0;
    padding: 0;	
}