html, body {
    background-color: #5aa;
    box-sizing: border-box;
    margin: 0;
    padding: 0;
    font-family: serif;
}

nav {
    background-color: #c6b2a8;
    border-bottom: 1px solid #646464;
}

nav > h1 {
    padding: 0.5rem;
    margin: 0;
    font-size: 100%;
}

.window {
    background-color: #b04e7f;
    border: 1px solid #646464;
    border-top: none;
    border-left: none;
    margin: 2rem auto;
    width: 80%;
    padding: 2px;
}

.window-title {
    display: inline-block;
    margin: 0px;
    padding: 2px;
    color: #fff;
    font-size: 100%;
    font-weight: normal;
}

.window-title, .window-title-container {
    background-color: #b04e7f;
}

.window-content {
    background-color: #dcdad5;
    border: 1px solid #646464;
    padding: 10px;
}

.activate-unix {
    float: right;
    clear: both;
    text-align: right;
    color: #fff;
    padding: 2px;
}

.small-text {
    font-size: 10pt;
    text-align: right;
    color: #646464;
}

footnote {
    font-size: 10pt;
}

a {
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

footnote a, footnote a:visited {
    color: #fff;
    text-decoration: underline;
}