/* effbot.css */

BODY {
    font: 10pt Georgia, Times, serif;
    background: white; color: black;
    margin-left: 100px; margin-right: 100px;
}

CODE, PRE {
    font: 10pt "Courier New", Courier, Monaco, monospace;
    color: black;
}

H1, H2, H3, H4, H5, H6 {
    font-family: Georgia, Times, serif;
    color: #008040; margin-left: -80px; margin-right: -80px;
}

.text {
    font: 10pt/18pt Georgia, Times, serif;
}

A:link, A:hover { color: #008040; }
A:visited { color: #404040; }

.title { margin-bottom: 2px; color: #008040;
	 margin-left: -80px; margin-right: -80px
	}
.info { font-size: 80%; margin: 0; color: #008040; margin-left: -80px; }
.highlight { background: #ccffcc; }

.navigate { color: #008040; background: #e0e0e0;
            margin-left: -80px; margin-right: -80px; }

.mark { color: #008040; }
.small { font-size: 80%; }
.display { background: #e0e0e0; padding: 20px; }
.computeroutput { background: #e0e0e0; padding: 20px; }
.note { background: #ccffcc; }
.warning { background: #ccffcc; }