body {
    background: white;
    white-space: nowrap;
}

.footer {
    font-size: smaller;
    text-align: center;
}

.codeSep {
    border: none 0;
    border-top: 1px solid gray;
    height: 1px;
}

.indexSep {
    border: none 0;
    border-top: 1px solid gray;
    height: 1px;
    width: 75%;
}

.lineNone { white-space: nowrap; background: white; }
.lineAllVisited { white-space: nowrap; background: green; }
.lineAllUnvisited { white-space: nowrap; background: red; }
.lineMixed { white-space: nowrap; background: yellow; }

table.simple {
    border-width: 1px;
    border-spacing: 0px;
    border-top-style: solid;
    border-bottom-style: solid;
    border-color: black;
}

table.simple th {
    border-width: 1px;
    border-spacing: 0px;
    border-bottom-style: solid;
    border-color: black;
    text-align: center;
    font-weight: bold;
}

table.simple td {
    border-width: 1px;
    border-spacing: 0px;
    border-style: none;
}

table.gauge {
    border-width: 0px;
    border-spacing: 0px;
    padding: 0px;
    border-style: none;
    border-collapse: collapse;
}

table.gauge td {
    border-width: 0px;
    border-spacing: 0px;
    padding: 0px;
    border-style: none;
    border-collapse: collapse;
}

.gaugeOK { background: green; }
.gaugeKO { background: red; }