html {
    height: 100%;
}

body {
    height: 100%;
    font-family: monospace;
    font-size: 24pt;
    margin: 0;
    padding: 0;
}

#pageTitle {
    margin-left: 10px;
    font-weight: bold;
    font-size: 36pt;
}

#pageRight {
    margin-right: 20px;
}

#header {
    background-color: darkblue;
    color: white;
}

#header a {
    color: white;
}

#resetIcon {
    cursor: pointer;
    font-weight: bold;
    font-size: larger;
}

.themePickerCell {
    cursor: pointer;
}

.themePickerHead {
    height: 3em;
}

.themePickerSide {
    height: 5em;
    width: 10em;
}

.themePickerLink {
    font-size: larger;
    font-weight: bold;
    text-decoration: underline;
}