body { color: black; background-color: #BFFFFF; margin-left: 20px; }
h1 { font-weight: bolder; font-size: large; color: #353535; background-color: white; margin-left: 0px; padding-left: 10px; border-top: 1px #0000A0 solid; border-right: #0000A0 1px solid; border-bottom: 1px #0000A0 solid; border-left: 10px #0000A0 solid; }
h2 { font-weight: bold; font-size: medium; color: navy; margin-left: 10px; }
h3 { font-size: medium; color: blue; background-color: white; margin-right: 50%; padding-left: 5px; border: 1px black solid; }
.code{ background-color: white; margin-right: 10%; margin-left: 5px; white-space: pre; }
a:link { color: blue }
a:visited { color: purple; }
a:active { color: red; }
a:hover { color: #FFD700; }
.right { text-align: right; display: block; }
.alert { color: red; }
th {white-space: nowrap}
.nr {white-space: nowrap}
.ud { color: #FF35FF; }