body {font-family: Verdana, Arial, sans-serif;background: #5b5b5b;margin: 0px auto;padding: 0 0 20px 0;}
tr {text-align: right;}
td {font-weight:bold;}
th {font-weight:bold;}
label {font-weight:bold; font-size: 10pt;}
#display {width: 300px; float: right; font-size: 13pt;}
#shadow-one {width: 760px; border: 1px solid #555; border-top: 0; margin: 0px auto;}
#shadow-two {width: 500px; border: 1px solid #555; border-top: 0; margin: 0px auto;}
#shadow-three {border: 1px solid #444; border-top: 0;}
#shadow-four {border: 1px solid #3a3a3a; border-top: 0;}
#page {border: 1px solid #333; background: #fff; border-top: 0; padding: 2px;font-size: 8pt;}
#title {background: #0000ff; padding: 4px; font-weight: bold; color: #fff; margin-bottom: 15px;height: 16px;}
#title .right {float: right; width: 300px; text-align: right;}
#menu {float: left; width: 111px; padding-right: 20px;}
#menu a {width: 110px; display: block; background: #0000ff; color: white;padding: 8px;font-weight: bold; border-bottom: 1px solid #fff; text-decoration: none;}
#menu a:hover {background: #d33;}
#content {width: 349px;float: left;}
a {font-size: 9pt;}
#content a {color: #800080; text-decoration: none;}
#content a:hover {color: #d33;text-decoration: underline;}
#content h0 {margin-top: 0px;}
#content h1 {margin-top: 0px;}
#content h2 {margin-top: 0px;}
#content h3 {margin-top: 0px;}
#content h4 {margin-top: 0px;}
fieldset {text-align: center; border: 1px solid #ddd; background:#ddd;}
.spacer {clear: both;}
#footer {font-size: 0.8em;color: #666;text-align: center;margin: 10px 50px 0 50px;padding-top: 10px;border-top: 1px dotted #666;}
#status {width: 400;//175px;float: center;margin: 10px;border: 1px dotted #666;font-weight: bold;}
.examplebox {margin:10px 40px 10px 40px;padding: 8px;border: 1px dotted #333;text-align:center;background:#ddd;}
.code {font-family: Courier New, Courier, fixed-width, fixed;}
.exercise {background: #fe9;padding: 5px;margin-left: 10px;border-left: 2px solid #eb3;}
.error {margin-left: 10px;padding: 10px;background: #fdd;border-left: 2px solid #900;}
#content h6 {border-top: 1px dashed #333;margin: 15px;padding: 0px;height: 1px;}
.examplebox td {text-align:left;padding-right: 15px;}
.lin {font-style: italic; color: blue;}
.visitor {font-size: 8pt;}
.result{margin: 10px 40px 10px 40px;padding: 8px;border: 1px solid #333;text-align: center;font-weight: bold;background: #eee;}
.ok {border-color: #6b6;background: #efe;}
.fail {border-color: #b66;background: #fee;}
.unk {border-color: #cc6;background: #ffd;}