
body { margin: 1.5em 0.5em; font-family: "DejaVu Serif", serif;}
h1, h2, h3 { margin: 1rem 0rem; font-variant: small-caps; color: #335; }
h1 { font-size: 1.85rem; text-align: center; }
#subtitle { font-size: 1.5rem; font-variant: small-caps; text-align: center; margin-top: -0.5rem; font-style: italic; color: #335; }
h2 { font-size: 1.5rem; border-bottom: 4px solid #CCC; }
h3 { font-size: 1.35rem; font-style: italic; font-weight: normal; }
h4 { font-size: 1rem; display: inline; color: #335; }
h4:after { content: '.'; }
a { text-decoration: none; color: #44A; }
a:hover { color: #848; }

nav { font-size: 1.5rem; position: fixed; top: 0em; right: 0em; color: #CCC; transition: 0.4s; padding: 0.5em; z-index: 10; }
nav #panel { position: fixed; top: 0; right: -15rem; height: 100em; width: 13rem; background: #CCC; padding: 3rem 0.5em; transition: 0.4s ease; z-index: -1; }
nav #panel a { display: block; margin: 0.1em 0.5em; font-style: italic; font-size: 1.2rem; font-weight: normal; font-variant: small-caps; }
nav h3 { margin: 0.5em 0em; }
nav:hover { color: white; }
nav:hover #panel { right: 0em; }

header, article, footer { max-width: 45em; margin: 1rem auto; }
section { position: relative; margin: 1rem 0rem 4rem 0rem; border-bottom: 4px solid #CCC; min-height: 5em; padding-top: 1em; }
footer { color: #335; padding-top: 1em; font-size: 0.65rem; text-align: center; line-height: 1.5em; }

#bar { font-size: 0.8rem; position: absolute; top: 3rem; right: 0.5rem; }
#bar a { background: #CCC; color: white; padding: 0.1em 1em; margin-left: 1em; text-transform: uppercase; font-weight: bold; }



pre { margin: 1em; padding: 0.1em 0.25em; background: #EEF0FF; }
code { background: #EEF0FF; }
.note-link { text-decoration: none; color: inherit; font-size: 0.65em; vertical-align: super; }
.notes { color: #888; font-size: 0.8em; border-top: 1px solid #CCC; margin: 2em; padding: 0.2em 1.5em; }
.notes li { line-height: 1.5em; }
.notes li:target { color: #222; }

