/* A small style sheet */
/* @(#) $Id: style.css,v 1.17 2009/07/21 20:10:38 matthew Exp $ */

body#titlepage {
        font-family:  "Verdana", "Helvetica", "Arial", sans-serif;
        font-size: 10pt;
        margin: 3em;
        color: #ffffff;
        background-color: #000000;
}

#titlepage h1 {
        font-family: "Bitstream Charter", "Times New Roman", serif;
        font-size: 48pt;
        font-weight: bold;
        text-align: center;
        color: #5050ff;
        background-color: #000000;
        margin-top: 37%;
        margin-bottom: 37%;
}

#titlepage a:link, #titlepage a:visited {
        color: #5050ff;
        font-weight: bold;
        background-color: #000000;
        text-decoration: none;
}

#titlepage a:active, #titlepage a:hover {
        color: #ffffff;
        font-weight: bold;
        background-color: #000000;
}

body {
        font-family:  "Bitstream Vera Sans", "Verdana", sans-serif;
        font-size: 9pt;
        margin-left: 8em;
        margin-right: 6em;
        color: #000000;
        background-color: #ffffff;
}

h1 {
        font-size: 32pt;
        font-family: "Bitstream Vera Sans", "Verdana", sans-serif;
        font-weight: bold;
        text-align: center;
}

/* This doesn't work too well -- the counter doesn't count. */
/*
h2:before {
        content: "Section " counter(section) ". ";
        counter-increment: section;
        display: inline;
}
*/

h2 {
        font-size: 18pt;
        font-family:  "Bitstream Vera Sans", "Verdana", sans-serif;
        font-weight: normal;
}

dt {
        font-weight: bold;
        display: inline;
}

dh {
        padding-left: 1em;
        display: block;        
}

th {
        vertical-align: top;
}

tt {
        font-family: "Courier", monospace;
}

pre {
        font-family: "Courier", monospace;
	background-color: #f4f4f4;
	margin-left: 5%;
	padding: 1em;
	border-style: solid;
	border-width: thin;
}

div.footer {
        font-size: 4pt;
        text-align: center;
}

a:link, a:visited {
        color: #3030e0;
        background-color: #ffffff;
        font-weight: bold;
        text-decoration: none;
}

a:active, a:hover {
        color: #3030e0;
        font-weight: bold;
        background-color: #c0c0c0;
}

.small, .hidden {
        font-size: 6pt;
        padding-left: 1em;
        padding-right: 1em;
}

.boxed {
        border-style: solid;
        border-width: thin;
        border-color: #000000;
        padding-left: 1em;
        padding-right: 1em;
}

.warning {
        background-color: #ffdddd;
	font-weight: bold;
}

.narrowed, .hidden {
        margin-left: 10%;
        margin-right: 10%;
}

.hidden {
        display: none;
}