body { color: 0; background-color: #c0c0d8 }

H1 { color: #103080 }
H2 { color: #202060 }
H3 { color: #555555; margin-top: 0.5ex }

img { margin-top: 0.2em; margin-bottom: 0.2em }

.box { border: solid thin }

.setting  {
    color: #555555;
    font-weight: bold;
    font-size: 90%;
}

table.settbl {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 80%;
    margin-left: 2em
}

.selected {
    background-color: #b0b0d8;
}