body {
color: black;
background-color: #AAAAAA;
}

.title {
font-family: Helvetica, sans-serif;
text-align: left;
background-color: #aaaaaa;
color: black;
}

.address {
font-size: 80%;
font-style: italic;

margin-right: 5%;
margin-left: 5%;
margin-top: 1%;

padding-right: 1em;
padding-left: 1em;
padding-top: 0.5em;
padding-bottom: 0.5em;

background-color: white;
border: 1px solid #000;
color: black;
}

#content {
margin-right: 5%;
margin-left: 5%;

padding: 1em;

color: black;
background: white;
border: 1px solid #000;
min-width: 500px;
}

#example {
margin-top: 1em;
margin-bottom: 1em;
white-space: pre;
font-family: courier, monospace;

padding: 1em;

color: black;
background: white;
border: 1px solid #000;
}


h1, h2, h3, h4, h5 {
font-family: Helvetica, sans-serif;
border-style: none;
background-color: #CCCCCC;
color: black;
}

/* For Netscape 4 in Linux */
h1.title {
font-size: x-large;
}

a:link {
color: blue; 
background-color: white;
text-decoration: none;
}

a:visited {
color: green; 
background-color: white;
text-decoration: none;
}

a:active {
color: red;
background-color: white;
text-decoration: underline;
}

a:hover {
text-decoration: underline;
}