/* CSS Document */

h1 {text-align:center;
background-color:#ccff99;
}

h2 {
    margin-top: 3em;
    border-bottom: #66cc66 2px double;
    padding: .5ex .5ex .5ex .5ex;
}
h3 {
    margin-top: 3em;
    border-bottom: #ccff99 1px solid;
    padding: .5ex .5ex .5ex .5ex;
}
h4 {
    margin-top: 3em;
    border-bottom: #ccff99 1px solid;
    padding: .5ex .5ex .5ex .5ex;
}
body {
    font-family: Verdana; /* experimental */
    margin-right: 8%;
    margin-left: 8%;
    background-color: white;
    color: black;
}
li, p {
    line-height: 140%;
}
p {
    margin-left: 1.0ex;
}
pre, ul {
    line-height: 120%;
}
td {vertical-align:top;
}
table {width:90%; margin-left:5%; margin-right:5%;}
td > li, p {line-height: 130%; font-size: 0.9em;}
th {background-color:}
.index li{list-style:none;}
table.small-table {width:60%; margin-left:20%; margin-right:20%;}
address {
border-top: #333333 1px solid;
margin-top: 3em;
}


a.navibutton {
border:black 1px solid;
text-decoration: none;
color:black;
}

a.navibutton:link {
	color: black ;
}

a.navibutton:visited {
	color: black ;
}

a.navibutton:hover {
	color: red;
	background-color:#CCFF66
}

a.navibutton:active {
	color: red;
	background-color:#CCFF66
}