body {
    color: #000;
    font-family: Times, "Times New Roman",
                 /* Chinese fonts */
                 "Kaiti SC", /* macOS */
                 KaiTi, /* Windows (simkai.ttf, not always included despite
                           https://www.microsoft.com/typography/fonts/product.aspx?PID=161
                           https://www.microsoft.com/typography/fonts/product.aspx?PID=164) */
                 "Microsoft YaHei", /* Windows */
                 "Heiti SC", /* iOS */
                 serif;
    font-size: 16px;
    -webkit-font-smoothing: antialiased;
    margin: 100px 0;
}

@media
only screen and (-webkit-min-device-pixel-ratio: 1.25),
only screen and ( min-device-pixel-ratio: 1.25),
only screen and ( min-resolution: 200dpi),
only screen and ( min-resolution: 1.25dppx) {
    -webkit-font-smoothing: subpixel-antialiased;
}

.nav {
    position: fixed;
    left: 5%;
    top: 90px;
    height: 150px;
    width: 100px;
    text-align: center;
}

.nav-icon {
    display: block;
    margin: 2px auto;
    width: 100px;
    height: 100px;
    border-radius: 50%;
    background: #ddd;
    line-height: 100px;
    text-align: center;
    text-decoration: none;
    font-size: 0;
}

.nav-icon:before {
    content: "ZW";
    display: inline-block;
    position: relative;
    left: 2px;
    font-family: "Helvetica Neue", Arial, sans-serif;
    font-size: 35px;
    font-weight: normal;
    letter-spacing: 2px;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
    color: #fff;
    transform: scale(1,0.95);
    -webkit-transform: scale(1,0.95);
    -moz-transform: scale(1,0.95);
    -ms-transform: scale(1,0.95);
    -o-transform: scale(1,0.95);
}

.nav-title {
    font-size: 17px;
    font-weight: bold;
    margin: 2px 0 1px 0;
}

.nav-author {
    font-size: 13px;
}

.nav-link {
    text-decoration: none;
}

.content, .content-separator, .footer {
    width: 60%;
    margin: 0 auto;
}

hr {
    border: 0;
    height: 1px;
    background: #888;
}

.content-separator {
    margin: 15px auto 3px auto;
}

.content {
    text-align: justify;
}

h1 {
    text-align: center;
    font-size: 160%;
    font-weight: bold;
}

h2 {
    text-align: center;
    font-size: 125%;
    font-weight: bold;
}

.article-metadata {
    text-align: center;
    font-size: 100%;
    font-weight: normal;
    margin: 1em 0;
}

a {
    color: #000;
    word-wrap: break-word;
}

code {
    font-size: 90%;
    color: #333;
    font-family: Courier, monospace;
    white-space: pre-wrap;
    word-wrap: break-word;
}

h1 code, h2 code {
    font-size: 95%;
    color: #000;
}

pre {
    overflow-x: scroll;
    padding: 1em;
    background: #fbfbfb;
    border-left: 0.4em solid #ddd;
}

/* Pandoc wraps pre[class*=sourceCode] in a div tag, so it is necessary to
eliminate the margins of such pre tags to avoid too much spacing.*/
pre[class*=sourceCode] {
    margin: 0;
}

pre code {
    font-size: 85%;
    color: #000;
    white-space: pre;
    word-wrap: normal;
}

ol {
    padding-left: 20px;
}

ul {
    padding-left: 16px;
}

blockquote {
    margin: 0;
    padding: 0 1em;
    font-style: italic;
    border-left: 0.4em solid #ddd;
}

img {
    display: block;
    max-width: 100%;
    margin: 5px auto;
}

.figure {
    text-align: center;
}

.figure img {
    display: inline;
    margin: 0 0 5px 0;
}

.figure .caption {
    width: 80%;
    margin: auto;
    font-size: 90%;
}

sup {
    font-size: 11px;
    margin: 0 0 0 1px;
}

noscript {
    color: #999;
}

noscript a {
    color: #999;
}

.footnotes {
    font-size: 90%;
}

.footnotes ol {
    padding-left: 1.4em;
}

.footnotes p {
    margin: 0.6em 0;
}

.footnotes-backlink {
    margin-left: 0.2em;
    vertical-align: -0.2em;
    color: #bbb;
    text-decoration: none;
}

.footnotes-backlink:hover {
    background-color: #bbb;
    color: #fff;
}

.lfooter {
    float: left;
}

.lfooter .updated:before {
    content: "Last updated: "
}

.rfooter {
    float: right;
}

.rss-icon, .atom-icon, .cc-icon {
    text-decoration: none;
    position: relative;
    top: 1px;
}

.rss-icon, .atom-icon {
    margin: 0 3px;
}

.cc-icon {
    margin: 0 1px;
}

.rss-icon:before, .atom-icon:before {
    content: "\e800";
    font-family: fontello;
    font-size: 105%;
}

.rss-icon:before {
    display: inline-block;
    transform: scale(-1,1);
    -webkit-transform: scale(-1,1);
}

.cc-icon:before {
    content: "\e801";
    font-family: fontello;
    font-size: 95%;
}

.hidden-link {
    color: inherit;
    cursor: text;
    text-decoration: none;
}

/* blog index */

.blog-index-year-title {
    text-align: left;
}

.blog-index-yearly-index {
    margin-left: 1em;
}

.blog-index td {
    vertical-align: top;
}

.blog-index-post-date {
    width: 5em;
}