html {
  font-family: Helvetica, Arial, sans-serif;
  background-color: #E5E5E5
}

@media (min-width: 32em) {
    html {
        font-size: 1.3em;
    }
    body {
        width: 90%;
        margin: 1em;
    }
}
@media (min-width: 48em) {
    html {
        font-size: 1.3em;
    }
    body {
        width: 70%;
        margin: 2em;
    }
}


.date {
    font-size: 75%;
    margin: 0em 0em 0em 0em;
}

p.copyright {
    font-size: 75%;
}
div.copyright {
    margin: 1em 1em 1em 1em;
}


p {
    margin: .5em 0em .5em 0em;
}

div.page {
    padding-top: 3em;
    max-width: 95%;
    margin-left: auto;
    margin-right: auto;
}

div.section {
    margin: 1.5em 0em 1.5em 0em;
}

nav.nav {
    border: 1px solid #cccccc;
    border-radius: 4px;
    background: white;
    background-color: #E5E5E5;
    margin: 0em 0em 1em 0em;
    position: fixed;
    top: 0;
    left: 0;
    z-index: 999;
    
    width: 100%;
    height: 2em;
}

nav.level {
    max-width: 95%;
    display: block;
    margin-left: auto;
    margin-right: auto;
}

article {
    margin: 0em 0em 2em 0em;
    clear: both;
}

span.title {
    font-size: 100%;
    margin: 0em 0em 0em 0em;
}
.logo {
    max-width: 1em;
    display: inline;
    font-size: 100%;
    margin: .5em .5em -0.1em .5em;
}

.summary {
    max-width: 100%;
    color: #333333;
    background-color: #d5d5d5;
    border: 1px solid #cccccc;
    border-radius: 4px;
    padding: .5em;
}

h1 {
    font-size: 110%;
    margin: 0em 0em 0em 0em;
}

.title {
    font-size: 120%;
    margin: 0em 0em 0em 0em;
}

img {
    max-width: 100%;
    display: block;
    margin-left: auto;
    margin-right: auto;
}
img.inline {
    max-width: 100%;
    display: inline;
    margin-left: auto;
    margin-right: auto;
}


pre.literal-block {
    max-width: 100%;
    overflow: auto;
    white-space: pre;
    display: block;
    padding: 10px;
    margin: 5px 5px 5px;
    font-size: 80%;
    line-height: 1.1;
    word-break: break-all;
    word-wrap: break-word;
    color: #EEEEEE;
    background-color: #222222;
    border: 1px solid #cccccc;
    border-radius: 8px;
}

div.highlight {
    max-width: 100%;
    overflow: auto;
    padding: 10px;
    font-size: 80%;
    color: #EEEEEE;
    border: 1px solid #cccccc;
    border-radius: 8px;
}

img.thumbnail {
    float: left;
    max-height: 20%;
    max-width: 20%;
    margin: 1em;
}

canvas.gle {
    opacity: 1;
    max-width: 100%;
    max-height: 100%;
}