html {
    background: #6f7f87;
}

body {
    margin: 0;
    color: #202020;
    background-color: #d8d5c4;
    background-image: repeating-linear-gradient(0deg, rgba(255,255,255,.12) 0, rgba(255,255,255,.12) 1px, transparent 1px, transparent 4px);
    font-family: Georgia, "Times New Roman", serif;
    font-size: 17px;
    line-height: 1.55;
}

.paper {
    max-width: 850px;
    margin: 18px auto;
    padding: 28px 42px;
    background: #f4f1df;
    border: 2px solid #1c3557;
    box-shadow: 6px 6px 0 #44515a;
}

.site-nav, .metadata, .revision, footer {
    font-family: "Courier New", Courier, monospace;
    font-size: 13px;
}

.site-nav { text-align: right; }

a { color: #0000aa; }
a:visited { color: #551a8b; }
a:hover { color: #aa0000; }

header {
    text-align: center;
    border-top: 5px double #1c3557;
    border-bottom: 5px double #1c3557;
    margin: 16px 0 20px;
    padding: 20px 10px;
}

h1 {
    color: #182f50;
    font-size: 42px;
    line-height: 1.1;
    margin: 0 0 8px;
    letter-spacing: 1px;
}

.subtitle {
    max-width: 690px;
    margin: 0 auto 12px;
    font-size: 19px;
    font-style: italic;
}

.metadata { color: #6a1f1f; }

.contents, .note {
    margin: 20px 0;
    padding: 14px 20px;
    background: #e5e6d7;
    border: 1px solid #667582;
    box-shadow: inset 2px 2px 0 #fff;
}

.contents h2 { margin-top: 0; }
.contents ol { columns: 2; margin-bottom: 0; }

h2 {
    color: #182f50;
    margin-top: 34px;
    border-bottom: 1px solid #667582;
    font-size: 25px;
}

h3 { color: #6a1f1f; font-size: 18px; }

code, pre, .formula {
    font-family: "Courier New", Courier, monospace;
}

pre {
    overflow-x: auto;
    padding: 14px;
    background: #fffef2;
    border: 1px inset #8c8c7a;
    font-size: 14px;
    line-height: 1.4;
}

.formula {
    text-align: center;
    color: #6a1f1f;
    font-weight: bold;
    padding: 10px;
    border: 1px solid #6a1f1f;
    background: #fff9cc;
}

blockquote {
    margin: 20px 28px;
    padding-left: 16px;
    border-left: 4px solid #6a1f1f;
    font-style: italic;
}

table {
    width: 100%;
    border-collapse: collapse;
    font-size: 15px;
}

th, td { border: 1px solid #667582; padding: 8px; vertical-align: top; }
th { color: white; background: #1c3557; text-align: left; }

footer {
    margin-top: 40px;
    padding-top: 12px;
    border-top: 5px double #1c3557;
    text-align: center;
}

@media screen and (max-width: 700px) {
    body { font-size: 16px; }
    .paper { margin: 0; padding: 20px 18px; border-width: 0; box-shadow: none; }
    h1 { font-size: 34px; }
    .contents ol { columns: 1; padding-left: 24px; }
    table { font-size: 14px; }
}