body { background-color: rgb(255,204,102); }
div#addr {font-style: italic; text-align: center; width: 30%;}
div#asplogo {margin-top: 0; margin-left: 30%;}
div#awards {margin-top: 0.5em;}
div#backtop {text-align: right;}
div#buttons {text-align: center; margin-top: 0.5em; margin-bottom: 0.5em;}
div#buttons a { margin: 0 3em; width: 40%; }
div#buttons input { margin: 0 3em; width: 30%; }
div#description { margin-left: 25% }
div#description h3 { color: blue; font-style: italic; text-align: center;}
div#description h5 { color: red; }
div#examples td   { text-align: center; margin-left: 0.50em; margin-right: .50em }
div#intro p {color: blue; font-style: italic; font-weight: bold; font-size: 130%; 
	text-align: center;}
div#menu {border: 1 solid black;
	text-align: center; width 20%;
	background: rgb(80%, 77%, 66%);}
div#menu a {width: 20%;}
div#botmenu { color: blue; text-align: center; font-size: 80%;}
div#botmenu a { margin-right: 2%; }
div#more { color: red; text-align: center;}
div#more a { margin-right: 2%; }
div#ordertext {text-align: center;}
div#ptitle {margin-top: 0.3em; font-weight: bold; font-size: 200%; text-align: center;
	color: blue; font-style: italic;}
div#selection {position: absolute; left: 0;
	width: 25%; height: 80%;
	border: 1 solid black; border-left: 0;				
	background: rgb(80%, 77%, 66%);}
div#selection a {margin-left: 0.1em;}
div#subintro p {font-weight: bold; color: red; text-align: center;}
div#thanks p {margin: 2em; text-align: center;}
div#thankserr p  { font-weight: normal; margin: 2em }
div#version {text-align: center; margin-top: -1em}
img#banner {margin: 0, 15%, 0, 15%;}
img#flag {margin-top: 0.25em}
p#answer {margin-top: -0.75em;}
p#question {font-weight: bold;}
p#ctitle {margin-top: 3em; font-weight: bold;}