body {
  margin: 2em;
  color: #000000;
  background-color: #ffffff;
}
h2#title{
  font-size: 24px;
}

div#output{
  font-size: 12px;
}
div#result{
  font-size: 12px;
}

#options a:link { color: #0000FF; } 
#options a:visited { color: #0000FF; }
#options a:active { color: #0000FF; }

table#options{
  font-size: small;
}
table#options td{;}


P#footer{
  font-size: small;
}

hr#hr{
}
.style1 {
	font-size: 12px;
	color: #333333;
}