/* Style sheet for index page */

BODY { background-image: url('images/background2.gif');
       link: "white";
       visited: "yellow";
       active: "white"}

/* common definitions */

h1 { font-family: helvetica; font-size: 20pt; font-style: bold }
h2 { font-family: helvetica; font-size: 15pt; font-style: bold }
p { font-family: impact, times; font-size: 10pt; font-style: normal }
dl { font-family: impact, times; font-size: 10pt; font-style: normal }
b { font-family: impact, times;  font-style: bold }
ul { font-family: impact, times; font-size: 10pt; font-style: normal }
p.pagefooter { font-family: times; color: blue }

/* index.html */
h1.index { color: purple }
p.intro { font-family: times; color: blue }
p.header { font-family: times; font-size: 20pt; color: blue }
p.detail { font-family: times; color: green }
p.historydate { font-family: times; color: blue }
p.historysubject { font-family: times; color: green }
p.historybody { font-family: times; color: black }
p.outcome { font-family: times; color: black }
b.outcome { font-family: times; color: green }