body {
    background-color: #fff;
    color: #222;
    font-family: Verdana, Arial, helvetica, sans-serif;
    padding: 0;
    margin: 0;
}

a {
    color: #005386;
    text-decoration: none;
}

#main a:hover, footer a:hover {
    color: red;
}

#nav a:hover {
    background-color: #d7ffd7;
    text-decoration: none;
}

#menu, footer {
    clear: both;
    overflow: hidden;
    color: #000;
    background-color: #d7ffd7;
    padding: 0.7ex;
    font-size: 94%;
    border-top: 1px solid #ccc;
    border-bottom: 1px solid #ccc;
}

#menu {
    padding-left: 1.75em;
}

#menu a {
    padding: 0.5ex 1ex 0.5ex 1ex;
    color: #2E8B57;
}

#menu a:hover {
    color: red;
}

header {
    clear: both;
    color: #666;
    background-color: #eee;
    font-size: 1.8em;
    padding: 0.7ex 0.7ex 0.7ex 1em;
}

#headerLink {
    color: #2E8B57;
    margin-left: 5px;
}

h1 {
    margin: 1em 1ex 0.5ex 0;
    font-size: 1.4em;
}

h2 {
    margin: 1em 1ex 0.5ex 0;
    font-size: 1.3em;
}

h3 {
    margin: 1em 1ex 0.5ex 0;
    font-size: 1.2em;
}

h4 {
    margin: 1em 1ex 0.5ex 0;
    font-size: 1.1em;
}

#headerSubtitle {
    font-size: 0.6em;
    font-style: italic;
    margin-left: 3em;
}

#content {
    clear: both;
    margin: 0;
    padding: 0;
    background-color: #fff;
}

#nav {
    background-color: #fff;
    float: left;
    margin: 0 1px 0 0;
    padding: 1em 0;
    border-right: 1px dotted #ccc;
    width: 12.3em;
    font-size: 0.85em;
}

#nav ul {
    margin: 0;
    padding: 0;
}

#nav li {
    list-style: none;
    padding: 0;
    margin: 0;
}

#nav h3 {
    padding-left: 1.6em !important;
}

#nav li ul {
    padding-left: 1.2em !important;
}

#nav li a {
    display: block;
    margin: 0;
    padding: 0.8ex 2em 0.8ex 2.6em;
}

#nav li a.thisPage {
    color: #222;
    font-weight: bold;
}

#main {
    width: auto;
    margin-left: 11em;
    padding: 1em 0;
}

#matrix #main {
    width: auto;
    margin: 0;
    padding: 1em;
}

#main > * {
    margin-left: 48px;
    margin-right: 48px;
}

#main > table {
    margin-left: auto;
    margin-right: auto;
}

.left {
    float: left;
    margin: 0;
    padding: 0;
}

.right {
    float: right;
    margin: 0;
    padding: 0;
}

table {
    margin-left: auto;
    margin-right: auto;
    border-collapse: collapse;
}

table tr {
    border: 1px solid #000;
}

#matrix th, #matrix td {
    min-width: 30px;
    font-size: 8pt;
}

table th {
    position: sticky;
    top: 0;
}

table th {
    background-color: #eee;
    font-weight: bold;
    border: 1px solid #000;
    margin: 0;
    padding: 0.24em 0.5em;
}

table td {
    border: 1px solid #000;
    margin: 0;
    padding: 0.2em 0.4em;
}

.date {
    font-size: 0.9em;
    padding-left: 0.6em;
    padding-right: 0.6em;
}

.tpinitial {
    font-variant: small-caps;
    font-weight: bold;
    font-size: 1.7em;
    padding-right: 0.7em;
}

#menu img {
    vertical-align: middle;
    text-decoration: none;
}

#menu .urlImg {
    background: url(../style/rss_orange.png) no-repeat 0px 5px;
    margin-left: 1.5em;
}

#menu .urlImg:hover {
    background: url(../style/rss_red.png) no-repeat 0px 5px;
}

footer .lastupdate {
    font-size: 0.75em;
    padding: 0.33em;
}

footer .comments {
    font-size: 0.75em;
    padding: 0.33em;
    float: right;
    text-align: right;
}

.needsDisclaimer {
   background-color: #ffe0e0; /* Red */
}
.noDisclaimer {
   background-color: #e0ffe0; /* Green */
}

.restricted {
   background-color: #fff0f0; /* Reddish */
}
.liberal {
   background-color: #f0fff0; /* Greenish */
}

.externalButPresent {
   background-color: #f8d0f8; /* Magenta: external but file is present */
}
.external {
   background-color: #e8e8e8; /* Grey: plain external */
}

.untranslated {
   background-color: #d0f0f8; /* Blueish */
}
.empty {
   background-color: #7777ff; /* Dark blue: empty POT file */
}

.level0 {
   background-color: #ff7777;
}
.level1 {
   background-color: #f7bf77;
}
.level2 {
   background-color: #efdf77;
}
.level3 {
   background-color: #efef8f;
}
.level4 {
   background-color: #dfef77;
}
.level5 {
   background-color: #bff777;
}
.level6 {
   background-color: #77ff77;
}

.overflow {
   background-color: #00f8f8;
}