a:link { font-family: verdana, arial, times; color: darkcyan; text-decoration: none }
a:visited { font-family: verdana, arial, times; color: teal; text-decoration: none }
a:hover { font-family: verdana, arial, times; color: #cc0000; text-decoration: underline }
h1 { font-family: arial, verdana, times; font-size: 24pt; color: darkred }
h2 { font-family: arial, verdana, times; font-size: 20pt; color: darkred }
h3 { font-family: arial, verdana, times; font-size: 16pt; color: darkred }
h4 ( font-family: verdana, arial, times; font-size: 14pt; color: teal }
p { font-family: verdana, arial, times; font-size: 10pt; color: darkslategray }
.small { font-family: verdana, arial, times; font-size: 8pt; color: darkslategray }
td { font-family: verdana, arial, times; font-size: 10pt; color: darkslategray }
li { font-family: verdana, arial, times; font-size: 10pt; color: darkslategray }
b { font-family: verdana, arial, times; font-size: 10pt; color: darkred }
a.prog:link { font-family: arial, verdana, times; color: darkcyan; text-decoration: none }
a.prog:visited { font-family:  arial, verdana, times; color: teal; text-decoration: none }
a.prog:hover { font-family: arial, verdana, times; color: #cc0000; text-decoration: underline }

#rupert { font-family: "times new roman"; font-size: 10pt; }