#everything {
    font-family: Arial, sans-serif;
    padding: 10px;
    line-height: 1.3em;
    margin: 0 auto;
    width: 1000px;
    margin-top: 10px;
}

.teaser {
    display: block;
    margin: 0 auto;
}

a {
    color: blue;
    text-decoration: none;
}

#header {
    position: relative;
    display: block;
    height: 2.2em;
    border-bottom: 1px solid lightgray;
    margin-bottom: 10px;
}

#header h2 {
    margin-top: 5px;
    display: inline-block;
    margin-left: 15px;
}

#header a {
    color: black;
}

#header a:hover {
    color: blue;
}

a:hover {
    text-decoration: underline;
}

#header .left {
    position: absolute;
    left: 0;
}

#header .left h2 {
    margin-left: 0;
}

#header .right {
    position: absolute;
    right: 0;
}

#header .selected {
    color: #ff872b;
}

h1 {
    font-size: 2.0em;
    margin-bottom: 10px;
}

h1.sectiontitle {
    text-align: center;
    margin: 20px;
}

h2 {
    font-size: 1.2em;
    margin: 20px 0 10px 0;
}

p {
    margin-bottom: 1em;
}

co {
    color: red;
}


li {

    list-style: square outside;
    margin-left: 1em;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

ol li {
    list-style-type: decimal;
    margin-left: 1.5em;
}

li li {
    list-style: disc outside;
}

li li li{
    list-style: circle outside;
}


div#content {
    clear: both;
    width: 100%;
    background: #f1ebda;
    padding-top: 10px;
    padding-bottom: 3em;
}

table caption {
    font-size: 2em;
}

h3 {
    margin-top: 5px;
    text-align: center;
}

h4 {
    font-size: 1.2em;
}

div.resultpane {
    margin: 0 auto;
    margin-bottom: 30px;
}

div.rocdiv {
    margin-top: 2em;
    text-align: center;
}
div.tablediv {
    position: relative;
    text-align: center;
    margin-bottom: 1em;
}
table.resultstable {
    margin: 0 auto;
    border: 1px solid black;
}
table.resultstable th {
    border-bottom: 1px dotted black;
    padding: 5px;
    text-align: center;
}

table.resultstable td {
    padding: 5px;
    text-align: center;
}

.first{
    padding-right: 5px;
    border-right: 1px dotted black;
}

.exploretable {
    margin: 0 auto;
    text-align: center;
}

.exploretable h2 {
}

.exploreperson {
    display: inline-block;
    width: 186px;
    height: 130px;
    margin-bottom: 1em;
    margin-left: 5px;
    margin-right: 5px;
}

.exploreperson img {
    width: 170px;
    height: 85px;
    padding: 2px;
    border: 1px solid lightgray;
}

.exploreperson a:hover img {
    border-color: blue;
}

blockquote {
    margin-left: 2em;
    margin-top: 0.5em;
}

.fakelink {
    cursor: pointer;
}

.bibref {
    margin-top: 10px;
    margin-left: 10px;
    display:none;
    font-family: monospace;
}


.code {
    font-family: monospace;
    font-size: 1.2em;
}

pre {
    text-align: left;
    padding: 5px;
    background: lightgray;
    margin: 5px 0;
}

#footer {
    clear: both;
    text-align: center;
    border-top: 1px solid lightgray;
    padding-top: 5px;
    margin-top: 20px;
    margin-bottom: 10px;
    font-size: 0.9em;
}