body, li {
    font-size: 95%; 
    font-family: Arial, Geneva, Helvetica, sans-serif;
    color: black;
    background-color: white;
}

a:link, a:active, a:visited {
    color: #525D76;
}

.left-navbar {
    padding-right: 5px; 
    border: 1px solid #cccccc; 
    border-width: 0px 1px 0px 0px;
}

.right-navbar {
    padding-left: 5px; 
    border: 1px solid #cccccc; 
    border-width: 0px 0px 0px 1px;
}

.main-body {
    padding-left: 10px; 
    padding-right: 10px;
}

.page-header {
    margin-bottom: 8px;
    padding-bottom: 11px;
    padding-left: 1px;
    padding-top: 1px;
    border: 1px solid #666666;
    border-width: 0px 0px 1px 0px;
}

.section {
    padding: 2px;
    margin-bottom: 1em;
}

.section-header {
    font-size: 100%;
    background-color: #525D76;
    color: white;
    padding: 2px;
}

.section-body {
    padding-left: 25px; 
    padding-right: 15px;
}

.subsection {
    padding: 2px;
    margin-bottom: 1em;
}

.subsection-header {
    font-size: 100%;
    background-color: #828DA6;
    color: white;
    padding: 2px;
}

.subsection-body {
    padding-left: 25px; 
    padding-right: 15px;
}

.page-footer {
    text-align: center;
    font-size: 80%;
// This will be used when the tables are removed
//    border: 1px solid #666666;
//    border-width: 1px 0px 0px 0px;
//    margin-top: 8px;
//    padding-top: 11px;
}

.source {
    margin: 0em 1em 0em 1em;
    padding: 1em;
    border: 2px solid #023264;
    white-space: pre;
    text-align: left;
}

.detail-table-header {
    color: white;
    background-color: #525D76;
    font-size: 80%;
    padding: 3px;
}

.detail-table-header a {
    color: white;
}

.detail-table-content {
    color: black;
    background-color: #B2BDD6;
    font-size: 80%;
}

.md5, .pgp {
    font-size: 85%;
    margin-right: 10px;
}

.links {
}

.link {
    margin-right: 10px;
}