body {
  /* background: white;  */
  color: black; 
  font-family: Arial, Helvetica, sans-serif;
  font-size: 10pt;
  background-color: #5f5f5f;
}

/* General font definitions */
strong { 
  font-weight: bold 
}

var { 
  font-style: italic 
}

samp, tt, code, pre { 
  font-family: Courier New, Courier, monospace;
  font-weight: bold; 
  font-size: 10pt; 
}

/* Heading definitions */
h1 {
  text-align: left; 
  color: white;
  font-weight: normal;
}

h2 {
  text-align: left; 
  color: white; 
  font-weight: normal;
}

h3 {
  text-align: left; 
  color: white; 
  /* color: darkred;   */
  font-weight: normal;
}

h4 {
  text-align: left; 
  color: darkred; 
  font-weight: normal;
}

/* Link definitions */
a:link {
  color: white;
}

a:visited {
  color: white;
}

a:active {
  color: white;
}

/* List definitions */
ul {
  list-style-type: square;
}

li {
  padding: .2em .2em .2em .2em; 
}

/* Table definitions */
thead {
  background: #1f6272; 
  color: white; 
  font-weight: bold
}

thead td {
  padding: .1em 1em .1em 1em; 
}

tbody td {
  padding: .2em .2em .2em .2em; 
}

/* Definition list definitions */
dt {
  background: #1f6272; 
  width: ;
  color: white; 
  padding: .2em 2em .2em 2em; 
  margin: .1%; 
  font-weight: bold; 
}

div#main {
  width: 700px;
  /* height: 700px;*/
  background-image: url("background.png"); 
  background-repeat: no-repeat;

  border: 1px solid black;
  background-color: #660005;
  margin-top: 3px;
  margin-left: auto;
  margin-right: auto;

}

div#main hr {
  width: 690px;
  height: 1px;
}

div#banner {
  border-style: solid;
  border-width: 0;
  padding: .4em 2em .4em .2em;
  height: 110px;
  /* background-image: url("banner.jpg"); 
  background-repeat: no-repeat; */
}

div#banner img {
  float: left;   
  border-style: solid;
  border-width: 0px; 
  width: 100px; 
  margin-top: 0px;  
  margin-left: 5px;
}

div#banner h1 {
  /* float: right; */
  font-family: Helvetica, sans-serif;
  color: white;
  border-style: solid;
  border-width: 0px; 
  padding: 0em 0em 0em 0em;
  /* width: 180px;  */
  vertical-align: center;  
  margin-top: 35px;  
  /* margin-left: 380px; */
  margin-left: 130px; 
  margin-right: auto;
  margin-bottom: 10px; 
  /* font-style: italic;*/
  font-size: 30pt;
  /* text-align: right;  */

}


div#navigation{
	clear: both;
/*	float: left;*/
	width: 700;
	height: 25px;
  border-style: solid;
  border-width: 0px;
  border-color: yellow; 
	display: block;

}


div#navigation ul{
	width: 700;
	list-style: none;
	margin: 0;
	padding: 0;
}

div#navigation ul li{
  float: left;
  margin: 2px 2px 2px 2px;
  padding: 0px 0px 0px 0px;
  /* background-image: url(nav_bg.jpg); 
     background-repeat: no-repeat; */
  background:  #5f5f5f; 
  text-align: center;
  vertical-align: top;
  height: 20px;
}

div#navigation ul li a{
	margin: 2px 0 0 0;
	padding: 0;
	font-size: 12px;
/*	font-weight: bold;*/
	color: #FFFFFF;
	text-decoration: none;
	text-transform: uppercase;
	height: 20px;
	display: block;
}

/* these are actual display widths minus 2 pixels for internal padding to push the text toward center */
#home{width:95px;}
#about{width:95px;}
#products{width:100px;}
#services{width:95px;}
#research{width:95px;}
#support{width:95px;}
#contact{width:95px;}


div#tagline {
  font-size: 120%;
}

div#content {
  color: white;
  padding: 1em 2em 3em 2em; 
  font-family: Arial, Helvetica, sans-serif;
  /* font-size: 90%; */
  min-height: 300px;
}

div#content td {   
/*  width: 50%; */
  border-style: solid;
  border-width: 0px;  
  vertical-align: top;
}

div#ad {
  width: 700px;
  padding: .2em .2em .2em .2em; 
  border-style: solid;
  border-width: medium;
  border-color: darkred; 
}


/* Footer definitions */
div#footer {
  width: 700px;
  /* border-style: solid;
  border-width: medium;
  border-color: darkred; */
  margin-top: 3px;
  margin-left: auto;
  margin-right: auto;
  font-style: italic;
  font-size: 8pt;
text-align: center; 
}

div#footer a {
  color: black;
}

/* a:link a:visited a:active */

div#management ul {
  list-style: none;
}

div.person  {
  vertical-align: top;
}
 
span.picture { padding: 10px; }
span.name { padding: 10px; 
text-align: left;}

div#attackpanel {  
color: white;
/* font-family: Monaco; */
/* font-size: 10pt; */
background-color: #1f6272;
  padding: 1em 2em 1em 1em; 
}

div#attacklist ul { 
  padding: .1em .1em .1em 1.5em;   }
div#attacklist li { 
  padding: .3em .1em .1em .1em;  
}

div#datasheet { 
/* background-color: #cac7b6; */
/* color: #1f6272; */
padding: .2em .2em .2em .2em;
/* border-style: solid;  */
text-align: center; 
/* vertical-align: top; */
 }

div#datasheet a { 
color: white;
vertical-align: 7pt; 
font-size: 12pt; }