/* Portability notes:
 * courier is not antialiased in MSIE, we use lucidatypewriter instead
 */
body {
  background-color: white;
  color: black;
  font-family: lucidatypewriter, monospace;
  font-size: 12pt;
  margin-left: 10%;
  margin-right: 10%;
  text-align: justify;
}
a:link {
  background-color: white;
  color: #cc0000;
  text-decoration: none;
}
a:visited {
  background-color: white;
  color: #cc0000;
  text-decoration: none;
}
a:hover {
  background-color: white;
  color: #cc0000;
  text-decoration: none;
}
a:active {
  background-color: white;
  color: #cc0000;
  text-decoration: none;
}
a.offsite {
  background-color: white;
  color: #cc0000;
  text-decoration: none;
}
p.center {
  text-align: center;
}
p.navigationbar {
  background-color: white;
  color: black;
  font-size: 12pt;
  margin-left: 0px;
  padding: 1%;
  text-align: center;
}
p.navigationbar a:link {
  background-color: white;
  color: black;
  text-decoration: none;
}
p.navigationbar a:visited {
  background-color: white;
  color: black;
  text-decoration: none;
}
p.navigationbar a:hover {
  background-color: #eeeeee;
  color: black;
  text-decoration: none;
}
h1 {
  background-color: white;
  color: black;
  font-size: 24pt;
  font-style: normal;
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: 1em;
  text-align: center;
}
h2 {
  background-color: white;
  color: black;
  font-size: 18pt;
  font-style: normal;
  font-weight: bold;
  margin-top: 2em;
  margin-bottom: 0.1em;
}
h3 {
  background-color: white;
  color: black;
  font-size: 12pt;
  font-style: normal;
  font-weight: bold;
  margin-top: 2em;
  margin-bottom: 0.1em;
}
h4 {
  background-color: white;
  color: black;
  font-size: 8pt;
  font-style: normal;
  font-weight: bold;
  margin-top: 2em;
  margin-bottom: 0.1em;
}
hr {
  border: 0;
  background-color: black;
  color: black;
  height: 1px;
  margin-top: 3em;
}

ul.platformlist
{
	margin: 0; 
	padding: 0; 
	list-style-type: none; 
}

ul.platformlist li 
{
	width:100px;
	
	float:left;
}

#editdiv
{
position:fixed;
top:120px;
left:60%;
width:400px;
height:300px;

}

#editdiv fieldset
{
	background-color:white;	
}

input[type=text]
{
width:200px;

}