* { padding: 0; margin: 0; }
a.undecorated { text-decoration: none }
body { color: black ; background: #F8F8B8 }
h1 { text-align: center }
h1.main { margin-bottom: 30px }
h2.appendix { padding-top: 35px ; margin-left: 30px ; margin-right: 30px }
hr { width: 60% ; margin-top: 20px ; margin-bottom: 20px }
div { padding-top: 10px ; margin-left: 30px ; margin-right: 30px }
form { margin-left: 30px ; margin-right: 30px }
div.tight { padding-top: 0px ; margin-left: 60px }
div.choice { padding-top: 0px }
pre { margin-top: 0px ; margin-bottom: 0px ; padding: 0px ; margin-left: 30px }
div.indent { margin-left: 60px }
div.spaceextra { padding-top: 30px }
div.spacebig { padding-top: 50px }
div.submit { text-align: center }
div.results { border-width: thin ; margin: 30px ; padding: 0 }
caption.results { font-family: bold ; text-align: center }
th.results  { text-align: center }
td.results  { text-align: right }
input.choice { background: #D0FFE0 }
input.renumber { background: #D0FFE0 }
input.submit { font-size: 150%; margin-top: 30px ; }
div.question { background: #FFF8B8; padding-left: 30px; padding-right: 30px ;
	       padding-top: 0px; padding-bottom: 20px ;
	       margin-left: 30px ; margin-right: 30px  }