body {
  font-size:12px;  
  font-family:Verdana;
}
h1 {
  font-size:14px;
  margin : 0px;
  font-weight:bold;
  text-align:center;
  background:#E54B4B;  
}
h2 {
  font-size:13px;
  margin : 0px;
  font-weight:bold;  
}
h4 {
  font-size:12px;
  margin : 0px;
  font-family:courier;  
  font-weight:normal;  
}
.promptpi {
  font-size:13px;
  margin : 0px;
  font-family:courier;  
  font-weight:bold; 
  color:#00C000; 
}
.prompttxt {
  font-size:13px;
  margin : 0px;
  font-family:courier;  
  font-weight:bold;  
  color:#4040FF; 
}
.button{
  color:green;
  font-weight:bold;
  font-size:12px;  
}
.prompt{
  color:blue;
  font-weight:bold;
  font-size:12px;  
}
.type{
  color:red;
  font-weight:bold;  
  font-size:12px;  
  font-family:courier;  
}
#menu .menu-top{
	background-image: url('menu-top.gif');
	background-repeat: no-repeat;
	line-height: 10px;
}
#menu .menu-bottom{
	background-image: url('menu-bottom.gif');
	background-repeat: no-repeat;
	line-height: 10px;
}
#menu dd {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	margin: 0px;
	background-color: #B6FE96;
	opacity : 0.5
	padding-right: 12px;
	padding-left: 12px;
}
#menu dd a:link, #menu dd a:visited {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	border: solid 1px #B6FE96;
	padding: 4px;
	text-decoration: none;
	color: #000080;
	display: block;
	font-weight:bold;
}
#menu dd a:hover, #menu dd a:active {
	background-image: url('btn-tile-over.gif');
	background-repeat: repeat-x;
	background-position: center;
	border: solid 1px #dea303;
	padding: 4px;
	text-decoration: none;
	color: #000080;
	font-weight:bold;
	background-color: #2d5271;
	display: block;
	-webkit-border-radius: 4px;
	-moz-border-radius: 4px;
	-khtml-border-radius: 4px;
}