/* CSS shamelessly stolen from some Ruby documentation */
a:hover { 
	color: #000000; 
	background-color: #ddddff; 
	text-decoration: underline;
}

a:visited {
 	color: #222255;
}

a:link {
    	color: #444444;
}

td {
    padding: 3px;
    font-size: x-small;
    font-family: verdana, arial, helvetica, Sans-Serif;
}

body {
    background: #eeffee;
    color:black; margin-left:10%; margin-right:20%; font-size:x-small; line-height:150%; font-family:verdana, arial, helvetica, Sans-Serif;
}

h1 {
    /* background: #ee9999; */
    font-family: verdana, arial, helvetica, Sans-Serif;
    text-align: left;
    margin-top: 5%;
    margin-right: 10%;
}

h1 a:link {
    font-family: verdana, arial, helvetica, Sans-Serif;
    text-decoration: none;
    color: #002288;
}
h1 a:visited {
    font-family: verdana, arial, helvetica, Sans-Serif;
    text-decoration: none;
    color: #002288;
}

h3, h4, h5, h6 {
    font-family: verdana, arial, helvetica, Sans-Serif;
}

h2 {
    font-family: Times, Times Roman, Serif;
    font-variant: small-caps;
    color: #eeeeff;
    background: #5555dd;
    padding-top: 0.2em;
    padding-bottom: 0.2em;
    padding-left: 2%;
}

div.header p.status { text-align: right; }
div.header p.last-modified { text-align: left; }

/*
li p {
    margin-top: -1ex;
}
*/

dt {
    font-weight: bold;
    margin-top: 2ex;
    margin-left: 1em;
}

address {
    color: gray;
    background: #eeeeee;
    text-align: right;
    font-family: Times, serif;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
}

pre {
    padding: 0.5em;
    border: #646464 1px solid;
    white-space: pre;
    background-color: #f6e6e6;
    color: black;
    margin-left: 1em;
    width: 90%;
    display: table;
    font-size: 120%;
}

table.info {
    padding: 0.5em;
    border: #646464 1px solid;
    background-color: #e6e6f6;
    color: black;
    border-collapse: collapse;
}

.info td {
    border: #646464 1px solid;
}

.info th {
    font-variant: small-caps;
    border: #646464 1px solid;
}