body {
        background: white;
        color: black;
        font-family: verdana, arial, helvetica, sans-serif;
        margin-left: 3em;
        margin-right: 3em;
}

a {
        text-decoration: underline;
}

a:link, a:visited {
        color: maroon;
}
a:hover {
        text-decoration: underline;
}
a:active {
        color: red;
}

h1 {
        border-bottom: thin solid black;
        font-family: sans-serif;
        font-size: 140%;
        font-weight: bold; 
        margin-top: 5ex;
        margin-bottom: 1ex;
        padding-bottom: 0.25ex;
        text-align: left;
        clear: both;
	color: #594fbf;
}

h2 {
        font-family: sans-serif;
        font-size: 111%;
        font-weight: bold;
        margin-top: 2ex; 
        margin-bottom: 0.5ex;
        text-align: left;
        clear: both;
}

.example {
	font-family: sans-serif;
	color: navy;
	text-align: left;
}

.author {
        float: right;
}

li {
        font-family: sans-serif;
        padding-bottom: 0.25ex;
}

pre {
        color: navy;
        text-align: left;
}

div.pagetitle{ padding:0px 10px 0px 10px;font-size:19pt;font-weight:bold;color:#000 }

table {
	font-family: verdana, arial, helvetica, sans-serif;
	color: black;
	spacing: 10px;
	text-align: left;
}

td {
	font-family: verdana, arial, helvetica, sans-serif;
	color: black;
	spacing: 4px;
	font-size: 70%;
}