html {
	height: 100.5%
}

body {
	border: 0;
	margin: 0;
	background-color: Black;
	font: 12pt Verdana, Geneva, Arial, Helvetica, sans-serif;
}

div.headfiller {
	font: 10px courier new;
	line-height: 10px;
	text-align: justify;
	color: #505050;
	height: 90px;
	overflow: hidden;
}

h1 {
  font-size: 18pt;
}

h2 {
  font-size: 16pt;
}

h3 {
  font-size: 14pt;
}


.alert {
  color: red;
}

//A:link {
//	text-decoration: none;
//	color: #FFCC00;
//}

a:link {
	color: #000000;
}

a:visited {
	color: #666666;
}

a:active {
	color: red;	
}

a:hover {
	color: red;	
}

div.tux {
	position:absolute; 
	top:0;
	left:35px;
	width: 430px;
}


div.menuholder {
	position: absolute;
/*	float:right;*/
	right:30px;
	top:30px;
	width: 12em;
}

div.menu {
	position: relative;
	right:0px;
	top:0px;
	background-color : #FFCC00;
	padding : 10px;
	border : 2px solid Black;
	font-weight: 700;
}


/*
div.menuholder {
	float:right;
	width: 12em;
}

div.menu {
	background-color : #FFCC00;
	margin: 5px;
	padding : 10px;
	border : 2px solid Black;
	font-weight: 700;
}
*/

div.menu A:link {
	text-decoration: none;
	color: #000000;
}

div.menu A:visited {
	text-decoration: none;
	color: #666666;
}

div.menu A:active {
	text-decoration: none;
	color: red;	
}

div.menu A:hover {
	text-decoration: none;
	color: red;	
}

div.main {
	background-color: #FFCC00;
	margin: 60px 160px 20px 20px;
	padding: 10px;
}

div.info {
	position: absolute;
	right: 5px;
	top: 270px;
	width: 140px;
	padding : 5px;
	background-color : #000000;
	color: #FFFFFF;
	font-size: 10pt;
	font-weight: 700;
}

div.cmd {
  background-color: #ffffe0;
  border: 1px solid black;
  margin: 2mm 1cm;
  padding: 2mm;
  font: 10pt Courier New;
/*  white-space: pre; */
}
  
div.edit {
  background-color: #e0e0ff;
  border: 1px solid black;
  margin: 2mm 1cm;
  padding: 2mm;
  font: 10pt Courier New;
/*  white-space: pre; */
}
  
div.warning {
  background-color: #ffffff;
  border: 3px solid red;
  margin: 2mm 1cm;
  padding: 2mm;
}


dt {
  font-weight: bold;
  margin: 0.5em 0;
}