body {
    margin: 0;
}

#page {
    max-width: 40em;
    margin: 0px auto;
    padding: 1em;
    background-color: PeachPuff;
    color: DarkRed;
    text-align: justify;
    font-family: "Work Sans", sans-serif;
}

h1, h2, h3, h4 {
    text-align: center;
    font-weight: bold;
}

h3, h4 {
    text-align: left;
}

h4 {
    margin-bottom: 0.9em;
}

a,
a:hover,
a:active,
a:visited {
    color: DarkRed;
    text-decoration: underline;
}

tt {
    font-family: monospace;
}

div.languages {
    text-align: right;
    margin-left: 50%;
}

#toc {
    float: right;
    margin: 1em;
    padding: 1em;
    border: 1px solid DarkRed;
    text-align: left;
}

h1#h-toc {
    font-size: medium;
}

pre {
    margin: 1em 4em;
}

table {
    margin-left: 1em;
    margin-right: 1em;
}
table td, table th {
    padding: 0.5ex;
    margin-left: 1em;
}

div.image {
    max-width:100%;
    margin: 1.5em auto;
    color: #444444;
}

div.image a,
div.image a:hover,
div.image a:active,
div.image a:visited {
    color: #444444;
    text-decoration: underline;
}

div.single img {
    max-width: 100%;
    height: auto;
    margin: 0 auto 1ex auto;
}

table.image {
    width: 100%;
    margin: 0;
    margin-bottom: 1ex;
    text-align: center;
}
table.image.full td {
    width: 100%;
}
table.image.half td {
    width: 49%;
}
table.image img {
    width: 100%;
}

div.download {
    text-align: center;
}

div.download a,
div.download a:hover,
div.download a:active,
div.download a:visited {
    padding: 0.5ex;
    border: 1px solid DarkRed;
    border-radius: 0.3ex;
    text-decoration: none;
}

div.download a:hover {
    background-color: Orange;
}

div.contact {
    width: 75%;
    margin: 0 auto;
    margin-top: 2.5em;
    text-align: center;
}
div.signature {
    text-align: right;
    margin: 2em;
}
div.credits {
    text-align: right;
    font-size: small;
    color: #444444;
    margin-right: 2em;
}