// Old colors were Spring Green (without the space)

html, body {
    height: 100%;
}

body {
    color: black;
    font-family: helvetica;
    padding: 0px;
    margin: 0px;
    margin-left: 50px;
    margin-right: 50px;
    background: url('/other/background.png') center repeat-y;
}

h3 {
    color: #00264D;
}

pre {
    padding: 10px;
    width: 500px;
    background: #dfe;
    overflow-x: auto;
}

.quote {
    color: #444;
    padding-left: 20px;
    padding-right: 20px;
}

a {
    color: #00264D;
}

.color {
    color: #00264d;
}

#center {
    margin-left: auto;
    margin-right: auto;
    position: relative;
    width: 536px;

    min-height: 100%;
    height: auto !important;
    height: 100%;
    margin: 0 auto -2em;
}

#footer {
    padding-top: 5px;
    font-size: 8pt;
    text-align: center;
}

.footer_class {
    width: 518px;
    background: #eee;
    padding: 0 10px;
    margin-left: auto;
    margin-right: auto;
}

.footer_class, .push {
    height: 2em;
}

#marker {
    position: absolute; 
    color: white;
    top: 40px;
    right: 240px;
}

#header {
    background: white;
    color: #00264D;
    font-size: 21pt;
    padding: 10px;
}

#alllinks {
    padding: 10px;
    padding-top: 0px;
    background: #00264D;
    color: white;
}

#alllinks a {
    padding-right: 10px;
    color: white;
    //text-decoration: none;
}

#alllinks div {
    padding-top: 10px;
}

#banner {
    margin-left: 3px;
    margin-top: 6px;
//    border: 1px solid #00264D;
}

#content {
    padding: 10px;
    font-size: 10pt;
}
#link_container {
    width: 250px;
    float: right;
}

#breadcrumb_container div {
    display: inline;
}

.selected {
    font-weight: bold;
}