body {
    /* system font */
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", "Roboto", "Oxygen", "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue", sans-serif;
    font-size: 16px;
    /* colors */
    background-color: white;
    color: #111;
    /* content dimensions */
    max-width: 640px;
    padding: 0.5rem;
    /* center page */
    margin-left: auto;
    margin-right: auto;
    display: block;
}

a:link,
a:visited { color: #888; text-decoration: none;  }
a:hover   { color: #888; text-decoration: underline; }

h1 { font-size: 1.5rem; }
h2 { font-size: 1.25rem; }
h3 { font-size: 1rem; margin: 0 auto 1.5em; }
h4 { margin: 0.5rem 0; }

h1 a { color: inherit !important }
h2 a { color: inherit !important }
h3 a { color: inherit !important }
h4 a { color: inherit !important }
h5 a { color: inherit !important }
h6 a { color: inherit !important }

hr { display: none }

pre {
    line-height: 1.5rem;
    padding: 0.5rem;
    vertical-align: middle;
    overflow-x: auto;
}

:not(pre) > code {
    padding: 0.1rem 0.25rem;
}

pre, :not(pre) > code {
    font-family: monospace;
    font-size: 0.9rem;
    text-shadow: 0 0.1rem #fff;
    border-radius: 0.25rem;
    background: rgba(238,238,238,.95);
    box-shadow: 0 0.15rem 0.15rem rgba(0,0,0,.125);
}

img {
    /* from mini.css */
    max-width: 100%;
    height: auto;
}

.grey { color: #888; }

.small { font-size: 0.8rem; font-weight: normal }

.push-right { margin-right: 0.5rem }

blockquote { font-style: italic; }

#menu ul {
    list-style: none;
    padding-left: 0;
}

#menu li {
    display: inline-block;
    margin-right: 1rem;
    margin-bottom: 0.5rem;
}

#menu li a {
    font-size: 1rem;
    font-weight: bold;
    color: #888;
    padding: 0.5rem 0;
    border-bottom: 2px solid transparent;
}

#menu li a:hover,
#menu li a:focus {
    border-bottom-color: #888;
    text-decoration: none;
}

ol#post-list {
    margin-bottom: 1rem;
    margin-top: 1rem;
}

ol#post-list {
    list-style: none;
    padding-left: 0;
}

.entry-content {
    line-height: 1.5rem;
}

.entry-content a:link,
.entry-content a:visited { color: #007db5; text-decoration: underline #a2dffb; }
.entry-content a:hover   { color: #007db5; text-decoration: underline #888; }

p.paginator { margin: 0; }

.up-dotted {
    margin-top: 1.5rem;
    border-top: 1px dotted #888;
}

.up-padding { padding-top: 1.5rem; }

.footnote {
  margin-top: 3rem;
  font-size: 0.8rem;
}

.footnote:before {
  content: "References:"
}