body {
font-family: times, serif;
font-size: 100%;
margin: 12px 72px 72px 72px;
}

a:link {
text-decoration: none;
color: #000099;
}

a:visited {
text-decoration: none;
color: #660099;
}

a:hover {
text-decoration: underline;
color: #660099;
}

.title1 {
font-weight: bold;
font-size: 135%;
}

.title2 {
font-size: 135%;
}

.header {
font-weight: bold;
font-size: 108%;
}

.comment1 {
font-size: 83%;
margin: 72px 0px 18px 0px;
text-align: center
}

.comment2 {
font-size: 83%;
margin: 36px 0px 0px 0px;
text-align: center
}

.comment3 {
font-family: courier, monofont;
font-size: 85%;
}

#spacing1 {
margin: 0px 0px 6px 0px;
}

#spacing2 {
margin: 72px 0px 18px 0px;
}