html {
    font-family: Tahoma, Verdana, Arial, sans-serif;
    text-align: justify;
    height: 100%;
    background-image: url('profile.jpg');
    background-size: cover;
    background-attachment: fixed;
}
body {
    min-height: 100%;
    min-width: 100%;
    margin: 0;
    padding: 0;
    display: flex;
    flex-direction: column;
}
div#contentbg, div#blue, div#white {
    position: fixed;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
}
div#contentbg, div#white, div#content {
    width: 70%;
    min-width: 30em;
    max-width: 60em;
    margin: 0 auto;
    padding: 4em 2.5em .5em;
    box-sizing: border-box;
}
div#contentbg {
    z-index: 1;
    background-image: url('profile.jpg');
    background-size: cover;
    background-attachment: fixed;
    filter: blur(.2em);
}
div#blue {
    z-index: 2;
    background-color: rgba(0, 91, 142, 0.7);
}
div#white {
    z-index: 3;
    background-color: rgba(255, 255, 255, 0.7);
}
div#content {
    z-index: 4;
    flex: 1 0 auto;
    height: 100%;
}
h1, h2 {
    text-align: left;
}
p {
    line-height: 1.4;
}
a {
    color: black;
    font-size: 0.8em;
    text-decoration: none;
    border-bottom: .1em dashed black;
}
a:hover {
    border-bottom-style: solid;
}
pre a {
    font-size: 1em;
}
li {
    margin-bottom: 1em;
}

div#navbar {
    z-index: 100;
    position: fixed;
    top: 0px;
    background-color: rgba(0, 91, 142, 0.7);
    width: 100%;
}
div#navbuttons {
    display: flex;
    width: 70%;
    min-width: 30em;
    max-width: 60em;
    margin: 0 auto;
    padding: 0em .5em;
    box-sizing: border-box;
}
div#navbuttons > a {
    flex-grow: 1;
    background-color: rgba(255, 255, 255, 0.7);
    transition: background-color 0.2s ease;
    padding: .5em;
    margin: .5em;
    border-bottom: none;
    text-align: center;
    font-variant: small-caps;
    font-size: 1.2em;
}
div#navbuttons > a:hover, div#navbuttons > a.current {
    background-color: rgb(255, 255, 255);
}
:target:before {
    content: "";
    display: block;
    height: 4rem;
    margin: -4rem 0 0;
}

.index a {
    font-size: inherit;
    border: none;
}

.command {
    background-color: rgba(0, 91, 142, 0.2);
    white-space: nowrap;
    font-family: monospace;
    font-weight: bolder;
    padding: .1em;
}
pre.command {
    white-space: pre;
}
p.command {
    text-align: left;
}
.long.command {
    white-space: normal;
}

.note {
    background-color: rgba(255, 255, 255, 0.3);
    font-style: italic;
    padding: .3em .5em;
}

.tablestyle {
    border-spacing: 4px 2px;
}
.tablestyle td, .tablestyle th {
    background-color: rgba(0, 91, 142, 0.2);
    padding: .3em .5em;
}
.tablestyle th {
    white-space: nowrap;
}