body {
    background: url("../../img/lghtmesh.jpg");
}

#corpus {
    width: 49em;
    border: 1px solid #ddd;
    background-color: white;
    margin: 16px auto;
    text-align: left;
    box-shadow: 0 0 5px 3px rgba(0, 0, 0, 0.1);
}

body .markdown-body {
    padding: 30px;
}

.markdown-body {
    font-family: sans-serif;
    -ms-text-size-adjust: 100%;
    -webkit-text-size-adjust: 100%;
    color: #333333;
    overflow: hidden;
    font-family: "Helvetica Neue", Helvetica, "Segoe UI", Arial, freesans, sans-serif;
    font-size: 16px;
    line-height: 1.6;
    word-wrap: break-word;
}

.markdown-body a {
    background: transparent;
}

.markdown-body a:active,
.markdown-body a:hover {
    outline: 0;
}

.markdown-body b,
.markdown-body strong {
    font-weight: bold;
}

.markdown-body sub,
.markdown-body sup {
    font-size: 75%;
    line-height: 0;
    position: relative;
    vertical-align: baseline;
}

.markdown-body sup {
    top: -0.5em;
}

.markdown-body sub {
    bottom: -0.25em;
}

.markdown-body h1 {
    font-size: 2em;
    margin: 0.67em 0;
    text-align: left !important;
}

.markdown-body img {
    border: 0;
}

.markdown-body hr {
    -moz-box-sizing: content-box;
    box-sizing: content-box;
    height: 0;
}

.markdown-body pre {
    overflow: auto;
}

.markdown-body code,
.markdown-body kbd,
.markdown-body pre,
.markdown-body samp {
    font-family: monospace, monospace;
    font-size: 1em;
}

.markdown-body table {
    border-collapse: collapse;
    border-spacing: 0;
}

.markdown-body td,
.markdown-body th {
    padding: 0;
}

.markdown-body * {
    -moz-box-sizing: border-box;
    box-sizing: border-box;
}

.markdown-body a {
    color: #4183c4;
    text-decoration: none;
}

.markdown-body a:hover,
.markdown-body a:focus,
.markdown-body a:active {
    text-decoration: underline;
}

.markdown-body hr {
    height: 0;
    margin: 15px 0;
    overflow: hidden;
    background: transparent;
    border: 0;
    border-bottom: 1px solid #ddd;
}

.markdown-body h1,
.markdown-body h2,
.markdown-body h3,
.markdown-body h4,
.markdown-body h5,
.markdown-body h6 {
    margin-top: 15px;
    margin-bottom: 15px;
    line-height: 1.1;
}

.markdown-body h1 {
    font-size: 30px;
}

.markdown-body h2 {
    font-size: 21px;
}

.markdown-body h3 {
    font-size: 16px;
}

.markdown-body h4 {
    font-size: 14px;
}

.markdown-body h5 {
    font-size: 12px;
}

.markdown-body h6 {
    font-size: 11px;
}

.markdown-body blockquote {
    margin: 0;
}

.markdown-body ul,
.markdown-body ol {
    padding: 0;
    margin-top: 0;
    margin-bottom: 0;
}

.markdown-body code,
.markdown-body pre,
.markdown-body samp {
    font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
    font-size: 12px;
}

.markdown-body pre {
    margin-top: 0;
    margin-bottom: 0;
}

.markdown-body>*:first-child {
    margin-top: 0 !important;
}

.markdown-body>*:last-child {
    margin-bottom: 0 !important;
}

.markdown-body h1,
.markdown-body h2,
.markdown-body h3,
.markdown-body h4,
.markdown-body h5,
.markdown-body h6 {
    position: relative;
    margin-top: 1em;
    margin-bottom: 16px;
    font-weight: bold;
    line-height: 1.4;
}

.markdown-body h1 {
    padding-bottom: 0.1em !important;
    font-size: 2.25em;
    line-height: 1.2;
    border-bottom: 1px solid #eee;
}

.markdown-body h2 {
    padding-bottom: 0.3em;
    font-size: 1.75em;
    line-height: 1.225;
    border-bottom: 1px solid #eee;
}

.markdown-body h3 {
    font-size: 1.5em;
    line-height: 1.43;
}

.markdown-body h4 {
    font-size: 1.25em;
}

.markdown-body h5 {
    font-size: 1em;
}

.markdown-body h6 {
    font-size: 1em;
    color: #777;
}

.markdown-body p,
.markdown-body blockquote,
.markdown-body ul,
.markdown-body ol,
.markdown-body dl,
.markdown-body table,
.markdown-body pre,
.markdown-body .admonition {
    margin-top: 0;
    margin-bottom: 16px;
}

.markdown-body hr {
    height: 4px;
    padding: 0;
    margin: 16px 0;
    background-color: #e7e7e7;
    border: 0 none;
}

.markdown-body ul,
.markdown-body ol {
    padding-left: 2em;
}

.markdown-body ul ul,
.markdown-body ul ol,
.markdown-body ol ol,
.markdown-body ol ul {
    margin-top: 0;
    margin-bottom: 0;
}

.markdown-body li>p {
    margin-top: 16px;
}

.markdown-body dl {
    padding: 0;
}

.markdown-body dl dt {
    padding: 0;
    margin-top: 16px;
    font-size: 1em;
    font-style: italic;
    font-weight: bold;
}

.markdown-body dl dd {
    padding: 0 16px;
    margin-bottom: 16px;
}

.markdown-body blockquote {
    padding: 0 15px;
    color: #777;
    border-left: 4px solid #ddd;
}

.markdown-body blockquote>:first-child {
    margin-top: 0;
}

.markdown-body blockquote>:last-child {
    margin-bottom: 0;
}

.markdown-body table {
    display: block;
    width: 100%;
    overflow: auto;
    word-break: normal;
    word-break: keep-all;
}

.markdown-body table th {
    font-weight: bold;
}

.markdown-body table th,
.markdown-body table td {
    padding: 6px 13px;
}

.markdown-body table tr {
    background-color: #fff;
}

.markdown-body table tr:nth-child(2n) {
    background-color: #f8f8f8;
}

.markdown-body img {
    max-width: 100%;
    -moz-box-sizing: border-box;
    box-sizing: border-box;
}

.markdown-body code,
.markdown-body samp {
    padding: 0;
    padding-top: 0.2em;
    padding-bottom: 0.2em;
    margin: 0;
    font-size: 85%;
    background-color: rgba(0, 0, 0, 0.04);
    border-radius: 3px;
}

.markdown-body code:before,
.markdown-body code:after {
    letter-spacing: -0.2em;
    content: "\00a0";
}

.markdown-body pre>code {
    padding: 0;
    margin: 0;
    font-size: 100%;
    word-break: normal;
    white-space: pre;
    background: transparent;
    border: 0;
}

.markdown-body pre {
    word-wrap: normal;
}

.markdown-body pre code {
    display: inline;
    max-width: initial;
    padding: 0;
    margin: 0;
    overflow: initial;
    line-height: inherit;
    word-wrap: normal;
    background-color: transparent;
    border: 0;
}

.markdown-body pre code:before,
.markdown-body pre code:after {
    content: normal;
}

@media print {
    .markdown-body * {
        background: transparent !important;
        color: black !important;
        filter: none !important;
        -ms-filter: none !important;
    }

    .markdown-body {
        font-size: 12pt;
        max-width: 100%;
        outline: none;
        border: 0;
    }

    .markdown-body a,
    .markdown-body a:visited {
        text-decoration: underline;
    }

    .markdown-body .headeranchor-link {
        display: none;
    }

    .markdown-body a[href]:after {
        content: " (" attr(href) ")";
    }

    .markdown-body abbr[title]:after {
        content: " (" attr(title) ")";
    }

    .markdown-body .ir a:after,
    .markdown-body a[href^="javascript:"]:after,
    .markdown-body a[href^="#"]:after {
        content: "";
    }

    .markdown-body pre {
        white-space: pre;
        white-space: pre-wrap;
        word-wrap: break-word;
    }

    .markdown-body pre,
    .markdown-body blockquote {
        border: 1px solid #999;
        padding-right: 1em;
        page-break-inside: avoid;
    }

    .markdown-body tr,
    .markdown-body img {
        page-break-inside: avoid;
    }

    .markdown-body img {
        max-width: 100% !important;
    }

    .markdown-body p,
    .markdown-body h2,
    .markdown-body h3 {
        orphans: 3;
        widows: 3;
    }

    .markdown-body h2,
    .markdown-body h3 {
        page-break-after: avoid;
    }
}

body pre {
    padding: 0px !important;
}

.markdown-body pre code {
    margin-right: 10px !important;
}

.markdown-body h3 {
    font-size: 1.3em !important;
}

#imgPortrait {
    border: 10px solid #efefef;
    width: 100px;
    height: 100px;
    float: left;
}

#author {
    float: right;
    width: 260px;
    margin-top: 30px;
}

#author_photo {
    display: block;
    float: left;
}

#author_text {
    display: block;
    padding-left: 100px;
}

#title,
#date,
#homepage {
    color: #848484;
    margin-left: 10px;
    font-family: "Trebuchet MS", sans-serif;
    font-size: 12px;
}

#title {
    margin-top: -3px;
    font-size: 15px;
}

#date,
#homepage {
    margin-top: 10px;
}

.string {
    color: #880000;
}

h1 {
    padding-bottom: 25px !important;
}

.math {
    font-family: monospace;
}

#imageblock {
    margin-bottom: 20px;
}

.separator {
    text-align: center;
    margin-bottom: 10px;
}

table {
    margin: auto;
    width: 100%;
    display: block;
    overflow-x: auto;
    white-space: nowrap;
}

table tr td {
    text-align: left;
    padding: 5px;
}

table tr td input,
table tr td select {
    width: 100%;
    box-sizing: border-box;
}

input[type="text"],
input[type="number"],
select {
    padding: 8px;
    border: 1px solid #ccc;
    border-radius: 4px;
    font-family: monospace;
}

#hash-input {
    width: 100%;
    /* Make hash input responsive */
    box-sizing: border-box;
}

.permutation {
    text-align: left;
}

.valid {
    color: green;
}

.violation {
    color: red;
}

.math {
    font-family: monospace;
}

#results {
    margin-top:30px;
}

.result-row {
    display: block;
}

.result-row .giver {
    width: 80px;
    display: inline-block;
    margin-left: 20px;
}

@media (max-width: 600px) {
    table {
        width: 100%;
    }

    table tr td input,
    table tr td select {
        width: 100%;
    }

    #hash-input {
        width: 100%;
    }
}