@charset "UTF-8";
body { -webkit-text-size-adjust: 100%; -webkit-font-smoothing: antialiased; -moz-font-feature-settings: "kern", "liga=1, dlig=1", "salt"; -ms-font-feature-settings: "kern", "liga", "dlig", "salt"; -webkit-font-feature-settings: "kern", "liga", "dlig", "salt"; -o-font-feature-settings: "kern", "liga", "dlig", "salt"; font-feature-settings: "kern", "liga", "dlig", "salt"; text-rendering: optimizeLegibility; background-color: #ede5d9; font-family: "PT Serif", Georgia, Times, "Times New Roman", serif; font-size: 12pt; color: #404040; }

body a, body a:hover { color: #c72323; }

body p { line-height: 1.5; }

body article > :first-child { min-height: 3.5em; }

body article > :first-child:first-letter { color: #ad1f1f; display: inline-block; float: left; font-size: 3.2em; line-height: 0.7em; font-style: normal; font-weight: bold; margin: 0.12em 0.15em 0 -0.01em; }

body h1 { font-weight: 600; }

body h2 { margin-top: 1em; font-size: 1.6em; margin-bottom: 0.6em; }

body h3 { font-size: 1.2em; font-variant: small-caps; text-transform: lowercase; font-weight: bold; letter-spacing: 0.15em; }

article ul li { padding-left: 0em; margin-bottom: 0; list-style: none; }

article ul { position: relative; padding: 0; margin-left: 0; }

article ul > li:before { position: absolute; content: "▪"; color: #c72323; left: -1.15em; }

article pre, article code { background-color: #ede5d9; }

article pre { padding: 1em; border-radius: 5px; }

article code { font-family: "Source Code Pro", Menlo, Monaco, Inconsolata; }

blockquote { margin-top: 1em; margin-bottom: 1em; border-left: 2pt solid #c72323; padding-left: 0.9em; margin-left: -1em; font-style: oblique; }

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

blockquote code { font-style: normal; font-weight: 400; }

blockquote em { font-style: normal; }

.main { background-color: #f7f3ee; border: 1px solid #decfba; margin-top: 16px; padding: 16px; border-radius: 4px; border-top: 3px solid #c72323; }

.small-ornament > svg, .big-ornament > svg { display: inline-block; vertical-align: middle; width: 40px; height: 40px; }

.small-ornament > svg path, .big-ornament > svg path { fill: #ad1f1f; fill-rule: evenodd; shape-rendering: geometricPrecision; }

.big-ornament > svg { width: 14em; height: 4em; margin-top: 2em; margin-bottom: 2em; }

header { margin-bottom: 1em; }

header p { margin-top: 1em; }

footer { margin-top: 1em; margin-bottom: 1em; font-size: 10.5pt; color: #795f39; }

footer .biography { margin-top: 2em; padding-bottom: 1em; border-bottom: 1px solid rgba(222, 207, 186, 0.5); margin-bottom: 1em; }

footer h2 { font-size: 1.2em; font-variant: small-caps; text-transform: lowercase; font-weight: bold; letter-spacing: 0.15em; }

footer a, footer a:hover { color: #ad1f1f; }

.footnotes { border-top: 1px solid rgba(222, 207, 186, 0.5); padding-top: 1em; margin-top: 2em; }

.footnotes ul, .footnotes ol { margin-left: -2em; }

.footnotes > ol { margin-left: -1.5em; }

sup > .footnote { margin-left: -0.2em; font-style: normal; }

table { margin: 0 auto; margin-top: 1.25em; margin-bottom: 1.25em; border-spacing: 2em 0.1em; padding-top: 0.5em; padding-bottom: 0.5em; border-collapse: separate; background-color: #ede5d9; border-left: 2.5pt solid #c72323; }

table td, table th { display: table-cell; vertical-align: inherit; border: 0; padding-top: 0; padding-bottom: 0; }

table th { padding-bottom: 0.6em; }

/** Syntax highlighting styles */
.highlight .c { color: #999999; font-style: italic; }

.highlight .k { color: #c72323; font-weight: bold; }

.highlight .o { font-weight: bold; }

.highlight .cm { font-style: italic; }

.highlight .cp { font-weight: bold; }

.highlight .c1 { font-style: italic; }

.highlight .cs { font-weight: bold; font-style: italic; }

.highlight .ge { font-style: italic; }

.highlight .gs { font-weight: bold; }

.highlight .kc { font-weight: bold; }

.highlight .kd { font-weight: bold; }

.highlight .kp { font-weight: bold; }

.highlight .kr { font-weight: bold; }

.highlight .kt { font-weight: bold; }

.highlight .s { font-style: italic; }

.highlight .nc { font-weight: bold; }

.highlight .ne { font-weight: bold; }

.highlight .nf { font-weight: bold; }

.highlight .ow { font-weight: bold; }

/*# sourceMappingURL=main.css.map */