a { color: #8b4513; text-decoration: none }
a:visited { color: black; text-decoration: none }
body { color: black; background-color: #ffffce }
h1 { color: #800000; font-weight: bold; font-size: 24pt; font-family: "Arial Black", "Helvetica Black", Arial, Helvetica, Geneva, Swiss, SunSans-Regular, sans-serif }
p { font-weight: bold; font-size: 16pt; font-family: "Times New Roman", Georgia, Times, serif; margin: 0pt 12pt }
pre { font-size: 14pt; font-family: "Courier New", Courier, Monaco; padding-left: 32pt }
ul { font-weight: bold; font-size: 18pt; font-family: "Times New Roman", Georgia, Times, serif; margin-right: 24pt; margin-left: 24pt }