/* Form to change index styles */
div#indexopts {
        margin-top: 10px;
        margin-right: 10px;
}
div#indexopts form {
        text-align: right;
        font-size: 75%;
}
div#indexopts input, div#indexopts select {
        background-color: #E5E5E5; 
        border: 1px solid black;
}
div#indexopts select { border-right: 0px; }

/* Body */
body {
	font-family: Bitstream Vera Sans, Helvetica;
}

/* Index wrapper div */
div#content {
        font-family: Bitstream Vera Sans Mono, Helvetica;
        color: #000000;
        background-color: #E5E5E5;
        border: 1px #000000 dashed;
        margin: 5px;
        padding: 10px;
}

/* For HTMLTables Index */
div#content table {
        border-collapse: collapse;
        width: 100%;
}
div#content th {
        font-weight: bold;
        border-bottom: 1px #c5c5c5 dashed;
        margin: 0px 0px 5px 3px;
        text-align: right;
}
div#content tr {        padding: 1px 0px; }
div#content td {        padding: 2px 0px; }

/* For FancyIndex */
div#content pre {       font-family: Bitstream Vera Sans Mono, Helvetica; }
div#content hr {        visibility: hidden; }

/* Links */
a {     text-decoration: underline; }
a:link, a:visited {
        color: #333;
        font-weight: 250;
}
a:hover {
        color: #000;
        background: #aaa;
        text-decoration: none;
}