/* -*-css-*- */


.nametable {
    overflow-y: auto;
    margin-top: 12px;
    margin-bottom: 12px;
    height: 3in;
}

.nametable table {
    margin: auto;
    border-collapse: collapse;
}

.nametable td {
    padding-top: 2px;
    padding-bottom: 1px;
    padding-left: 12px;
    padding-right: 12px;
    border: 1px solid lightgray;
}

.nametable th {
    padding-top: 3px;
    padding-bottom: 1px;
    padding-left: 12px;
    padding-right: 12px;
}

.nametable td.dif {
    color: red;
}

.nametable thead th {
    background-color: lightgray;
    font-weight: normal;
    position: sticky;
    top: 0;
}

.nametable th {
    background-color: lightgray;
}