.highlight .c { color: #998; font-style: italic; }

.highlight .err { color: #a61717; background-color: #e3d2d2; }

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

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

.highlight .cm { color: #998; font-style: italic; }

.highlight .cp { color: #999; font-weight: bold; }

.highlight .c1 { color: #998; font-style: italic; }

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

.highlight .gd { color: #000; background-color: #fdd; }

.highlight .gd .x { color: #000; background-color: #faa; }

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

.highlight .gr { color: #a00; }

.highlight .gh { color: #999; }

.highlight .gi { color: #000; background-color: #dfd; }

.highlight .gi .x { color: #000; background-color: #afa; }

.highlight .go { color: #888; }

.highlight .gp { color: #555; }

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

.highlight .gu { color: #aaa; }

.highlight .gt { color: #a00; }

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

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

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

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

.highlight .kt { color: #458; font-weight: bold; }

.highlight .m { color: #099; }

.highlight .s { color: #d14; }

.highlight .na { color: #008080; }

.highlight .nb { color: #0086B3; }

.highlight .nc { color: #458; font-weight: bold; }

.highlight .no { color: #008080; }

.highlight .ni { color: #800080; }

.highlight .ne { color: #900; font-weight: bold; }

.highlight .nf { color: #900; font-weight: bold; }

.highlight .nn { color: #555; }

.highlight .nt { color: #000080; }

.highlight .nv { color: #008080; }

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

.highlight .w { color: #bbb; }

.highlight .mf { color: #099; }

.highlight .mh { color: #099; }

.highlight .mi { color: #099; }

.highlight .mo { color: #099; }

.highlight .sb { color: #d14; }

.highlight .sc { color: #d14; }

.highlight .sd { color: #d14; }

.highlight .s2 { color: #d14; }

.highlight .se { color: #d14; }

.highlight .sh { color: #d14; }

.highlight .si { color: #d14; }

.highlight .sx { color: #d14; }

.highlight .sr { color: #009926; }

.highlight .s1 { color: #d14; }

.highlight .ss { color: #990073; }

.highlight .bp { color: #999; }

.highlight .vc { color: #008080; }

.highlight .vg { color: #008080; }

.highlight .vi { color: #008080; }

.highlight .il { color: #099; }

html { font-size: 16px; }

/** Reset some basic elements */
body, h1, h2, h3, h4, h5, h6, p, blockquote, pre, div.lstlisting, hr, dl, dd, ol, ul, figure { margin: 0; padding: 0; }

/** Basic styling */
body { font: 400 16px/1.5 -apple-system, BlinkMacSystemFont, "Segoe UI", "Segoe UI Symbol", "Segoe UI Emoji", "Apple Color Emoji", Roboto, Helvetica, Arial, sans-serif; color: #111111; background-color: #fdfdfd; -webkit-text-size-adjust: 100%; -webkit-font-feature-settings: "kern" 1; -moz-font-feature-settings: "kern" 1; -o-font-feature-settings: "kern" 1; font-feature-settings: "kern" 1; font-kerning: normal; display: flex; min-height: 100vh; flex-direction: column; overflow-wrap: break-word; }

/** Set `margin-bottom` to maintain vertical rhythm */
h1, h2, h3, h4, h5, h6, p, blockquote, pre, div.lstlisting, ul, ol, dl, figure, .highlight { margin-bottom: 15px; }

hr { margin-top: 30px; margin-bottom: 30px; }

/** `main` element */
main { display: block; /* Default value of `display` of `main` element is 'inline' in IE 11. */ }

/** Images */
img { max-width: 100%; vertical-align: middle; }

/** Figures */
figure > img { display: block; }

figcaption { font-size: 14px; }

/** Lists */
ul, ol { margin-left: 30px; }

li > ul, li > ol { margin-bottom: 0; }

/** Headings */
h1, h2, h3, h4, h5, h6 { font-weight: 400; }

/** Links */
a { color: #2a7ae2; text-decoration: none; }

a:visited { color: #1756a9; }

a:hover { color: #111111; text-decoration: underline; }

.social-media-list a:hover, .pagination a:hover { text-decoration: none; }

.social-media-list a:hover .username, .pagination a:hover .username { text-decoration: underline; }

/** Blockquotes */
blockquote { color: #828282; border-left: 4px solid #e8e8e8; padding-left: 15px; font-size: 1.125rem; font-style: italic; }

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

blockquote i, blockquote em { font-style: normal; }

/** Code formatting */
pre, div.lstlisting, code { font-family: "Menlo", "Inconsolata", "Consolas", "Roboto Mono", "Ubuntu Mono", "Liberation Mono", "Courier New", monospace; font-size: 0.9375em; border: 1px solid #e8e8e8; border-radius: 3px; background-color: #eeeeff; }

code { padding: 1px 5px; }

pre, div.lstlisting { padding: 8px 12px; overflow-x: auto; }

pre > code, div.lstlisting > code { border: 0; padding-right: 0; padding-left: 0; }

.highlight { border-radius: 3px; background: #eeeeff; }

.highlighter-rouge .highlight { background: #eeeeff; }

/** Wrapper */
.wrapper { max-width: calc(800px - (30px)); margin-right: auto; margin-left: auto; padding-right: 15px; padding-left: 15px; }

@media screen and (min-width: 800px) { .wrapper { max-width: calc(800px - (30px * 2)); padding-right: 30px; padding-left: 30px; } }

/** Clearfix */
.wrapper:after { content: ""; display: table; clear: both; }

/** Icons */
.orange { color: #f66a0a; }

.grey { color: #828282; }

.svg-icon { width: 16px; height: 16px; display: inline-block; fill: currentColor; padding: 5px 3px 2px 5px; vertical-align: text-bottom; }

/** Tables */
table { margin-bottom: 30px; width: 100%; text-align: left; color: #3f3f3f; border-collapse: collapse; border: 1px solid #e8e8e8; }

table tr:nth-child(even) { background-color: #f7f7f7; }

table th, table td { padding: 10px 15px; }

table th { background-color: #f0f0f0; border: 1px solid #e0e0e0; }

table td { border: 1px solid #e8e8e8; }

@media screen and (max-width: 800px) { table { display: block; overflow-x: auto; -webkit-overflow-scrolling: touch; -ms-overflow-style: -ms-autohiding-scrollbar; } }

/** Site header */
.site-header { border-top: 5px solid #424242; border-bottom: 1px solid #e8e8e8; min-height: 55.95px; line-height: 54px; position: relative; }

.site-title { font-size: 1.625rem; font-weight: 300; letter-spacing: -1px; margin-bottom: 0; float: left; }

@media screen and (max-width: 600px) { .site-title { padding-right: 45px; } }

.site-title, .site-title:visited { color: #424242; }

.site-nav { position: absolute; top: 9px; right: 15px; background-color: #fdfdfd; border: 1px solid #e8e8e8; border-radius: 5px; text-align: right; }

.site-nav .nav-trigger { display: none; }

.site-nav .menu-icon { float: right; width: 36px; height: 26px; line-height: 0; padding-top: 10px; text-align: center; }

.site-nav .menu-icon > svg path { fill: #424242; }

.site-nav label[for="nav-trigger"] { display: block; float: right; width: 36px; height: 36px; z-index: 2; cursor: pointer; }

.site-nav input ~ .trigger { clear: both; display: none; }

.site-nav input:checked ~ .trigger { display: block; padding-bottom: 5px; }

.site-nav .page-link { color: #111111; line-height: 1.5; display: block; padding: 5px 10px; margin-left: 20px; }

.site-nav .page-link:not(:last-child) { margin-right: 0; }

@media screen and (min-width: 600px) { .site-nav { position: static; float: right; border: none; background-color: inherit; } .site-nav label[for="nav-trigger"] { display: none; } .site-nav .menu-icon { display: none; } .site-nav input ~ .trigger { display: block; } .site-nav .page-link { display: inline; padding: 0; margin-left: auto; } .site-nav .page-link:not(:last-child) { margin-right: 20px; } }

/** Site footer */
.site-footer { border-top: 1px solid #e8e8e8; padding: 30px 0; }

.footer-heading { font-size: 1.125rem; margin-bottom: 15px; }

.feed-subscribe .svg-icon { padding: 5px 5px 2px 0; }

.contact-list, .social-media-list, .pagination { list-style: none; margin-left: 0; }

.footer-col-wrapper, .social-links { font-size: 0.9375rem; color: #828282; }

.footer-col { margin-bottom: 15px; }

.footer-col-1, .footer-col-2 { width: calc(50% - (30px / 2)); }

.footer-col-3 { width: calc(100% - (30px / 2)); }

@media screen and (min-width: 800px) { .footer-col-1 { width: calc(35% - (30px / 2)); } .footer-col-2 { width: calc(20% - (30px / 2)); } .footer-col-3 { width: calc(45% - (30px / 2)); } }

@media screen and (min-width: 600px) { .footer-col-wrapper { display: flex; } .footer-col { width: calc(100% - (30px / 2)); padding: 0 15px; } .footer-col:first-child { padding-right: 15px; padding-left: 0; } .footer-col:last-child { padding-right: 0; padding-left: 15px; } }

/** Page content */
.page-content { padding: 30px 0; flex: 1 0 auto; }

.page-heading { font-size: 2rem; }

.post-list-heading { font-size: 1.75rem; }

.post-list { margin-left: 0; list-style: none; }

.post-list > li { margin-bottom: 30px; }

.post-meta { font-size: 14px; color: #828282; }

.post-link { display: block; font-size: 1.5rem; }

/** Posts */
.post-header { margin-bottom: 30px; }

.post-title, .post-content h1 { font-size: 2.625rem; letter-spacing: -1px; line-height: 1.15; }

@media screen and (min-width: 800px) { .post-title, .post-content h1 { font-size: 2.625rem; } }

.post-content { margin-bottom: 30px; }

.post-content h1, .post-content h2, .post-content h3 { margin-top: 60px; }

.post-content h4, .post-content h5, .post-content h6 { margin-top: 30px; }

.post-content h2 { font-size: 1.75rem; }

@media screen and (min-width: 800px) { .post-content h2 { font-size: 2rem; } }

.post-content h3 { font-size: 1.375rem; }

@media screen and (min-width: 800px) { .post-content h3 { font-size: 1.625rem; } }

.post-content h4 { font-size: 1.25rem; }

.post-content h5 { font-size: 1.125rem; }

.post-content h6 { font-size: 1.0625rem; }

.social-media-list, .pagination { display: table; margin: 0 auto; }

.social-media-list li, .pagination li { float: left; margin: 5px 10px 5px 0; }

.social-media-list li:last-of-type, .pagination li:last-of-type { margin-right: 0; }

.social-media-list li a, .pagination li a { display: block; padding: 7.5px; border: 1px solid #e8e8e8; }

.social-media-list li a:hover, .pagination li a:hover { border-color: #dbdbdb; }

/** Pagination navbar */
.pagination { margin-bottom: 30px; }

.pagination li a, .pagination li div { min-width: 41px; text-align: center; box-sizing: border-box; }

.pagination li div { display: block; padding: 7.5px; border: 1px solid transparent; }

.pagination li div.pager-edge { color: #e8e8e8; border: 1px dashed; }

/** Grid helpers */
@media screen and (min-width: 800px) { .one-half { width: calc(50% - (30px / 2)); } }

#sitelogo { height: calc(2rem); padding-right: 10px; }

ul.pager { text-align: center; list-style: none; }

ul.pager li { display: inline; border: 1px solid black; padding: 10px; margin: 5px; }

ul.pager li.selected { background-color: #82FFFF; }

div.tag-list { font-size: 10pt; padding: 10px; border: 1px solid #82FFFF; border-radius: 5px; background-color: #EAFFFF; margin: 5px; }

div.tag-list h1 { font-size: 1.1em; display: inline; }

div.tag-list ul { display: inline; list-style: none; margin-left: 15x; }

div.tag-list li { display: inline; }

div.tag-list li::after { content: ", "; }

div.tag-list li:last-child::after { content: ""; }

.ecrm-1440 { font-size: 140%; }

.ecsl-1440 { font-size: 140%; }

.ecrm-0900 { font-size: 90%; }

.ecbx-0900 { font-size: 90%; font-weight: bold; }

.ecsl-0900 { font-size: 90%; }

.ectt-1000 { font-family: monospace,monospace; }

.ecrm-0600 { font-size: 60%; }

.ecit-1000 { font-style: italic; font-family: monospace,monospace; }

@media print { span.next { visibility: hidden; } }

p { margin-top: 0; margin-bottom: 0; }

p.indent { text-indent: 0; }

p + p { margin-top: 1em; }

p + div, p + pre, p + div.lstlisting { margin-top: 1em; }

div + p, pre + p, div.lstlisting + p { margin-top: 1em; }

a { overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; hyphens: auto; }

@media print { div.crosslinks { visibility: hidden; } }

a img { border-top: 0; border-left: 0; border-right: 0; }

center { margin-top: 1em; margin-bottom: 1em; }

td center { margin-top: 0; margin-bottom: 0; }

.Canvas { position: relative; }

img.math { vertical-align: middle; }

div.par-math-display, div.math-display { text-align: center; }

li p.indent { text-indent: 0; }

li p:first-child { margin-top: 0; }

li p:last-child, li div:last-child { margin-bottom: 0.5em; }

li p ~ ul:last-child, li p ~ ol:last-child { margin-bottom: 0.5em; }

.enumerate1 { list-style: decimal; }

.enumerate2 { list-style: lower-alpha; }

.enumerate3 { list-style: lower-roman; }

.enumerate4 { list-style: upper-alpha; }

div.newtheorem { margin-bottom: 2em; margin-top: 2em; }

.obeylines-h, .obeylines-v { white-space: nowrap; }

div.obeylines-v p { margin-top: 0; margin-bottom: 0; }

.overline { text-decoration: overline; }

.overline img { border-top: 1px solid #000; }

td.displaylines { text-align: center; white-space: nowrap; }

.centerline { text-align: center; }

.rightline { text-align: right; }

pre.verbatim, div.verbatim.lstlisting { font-family: monospace,monospace; text-align: left; clear: both; }

.fbox { padding-left: 3.0pt; padding-right: 3.0pt; text-indent: 0; border: solid #000 0.4pt; }

div.fbox { display: table; }

div.center div.fbox { text-align: center; clear: both; padding-left: 3.0pt; padding-right: 3.0pt; text-indent: 0; border: solid #000 0.4pt; }

div.minipage { width: 100%; }

div.center, div.center div.center { text-align: center; margin-left: 1em; margin-right: 1em; }

div.center div { text-align: left; }

div.flushright, div.flushright div.flushright { text-align: right; }

div.flushright div { text-align: left; }

div.flushleft { text-align: left; }

.underline { text-decoration: underline; }

.underline img { border-bottom: 1px solid #000; margin-bottom: 1pt; }

.framebox-c, .framebox-l, .framebox-r { padding-left: 3.0pt; padding-right: 3.0pt; text-indent: 0; border: solid #000 0.4pt; }

.framebox-c { text-align: center; }

.framebox-l { text-align: left; }

.framebox-r { text-align: right; }

span.thank-mark { vertical-align: super; }

span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript { font-size: 80%; }

div.footnotes { border-top: 1px solid #000; border-bottom: 1px solid #000; padding-bottom: 1ex; padding-top: 0.5ex; margin-right: 15%; margin-top: 2ex; font-style: italic; font-size: 85%; }

div.footnotes p { margin-top: 0; margin-bottom: 0; text-indent: 0; }

div.tabular, div.center div.tabular { text-align: center; margin-top: 0.5em; margin-bottom: 0.5em; }

table.tabular td p { margin-top: 0; }

table.tabular { border-collapse: collapse; border-spacing: 0; margin-left: auto; margin-right: auto; }

td p:first-child { margin-top: 0; }

td p:last-child { margin-bottom: 0; }

div.td00 { margin-left: 0; margin-right: 0; }

div.td01 { margin-left: 0; margin-right: 5pt; }

div.td10 { margin-left: 5pt; margin-right: 0; }

div.td11 { margin-left: 5pt; margin-right: 5pt; }

table[rules] { border-left: 0 solid #000; border-right: 0 solid #000; }

td.td00 { padding-left: 0; padding-right: 0; }

td.td01 { padding-left: 0; padding-right: 5pt; }

td.td10 { padding-left: 5pt; padding-right: 0; }

td.td11 { padding-left: 5pt; padding-right: 5pt; }

.hline hr, .cline hr { height: 0; margin: 0; border: none; border-top: 1px solid #000; }

.hline td, .cline td { padding: 0; }

.tabbing-right { text-align: right; }

div.float, div.figure { margin-left: auto; margin-right: auto; }

div.float img { text-align: center; }

div.figure img { text-align: center; }

.marginpar, .reversemarginpar { width: 20%; float: right; text-align: left; margin-left: auto; margin-top: 0.5em; font-size: 85%; text-decoration: underline; }

.marginpar p, .reversemarginpar p { margin-top: 0.4em; margin-bottom: 0.4em; }

.reversemarginpar { float: left; }

table.equation { width: 100%; }

.equation td { text-align: center; }

td.equation { margin-top: 1em; margin-bottom: 1em; }

td.equation-label { width: 5%; text-align: center; }

td.eqnarray4 { width: 5%; white-space: normal; }

td.eqnarray2 { width: 5%; }

table.eqnarray-star, table.eqnarray { width: 100%; }

div.eqnarray { text-align: center; }

div.array { text-align: center; }

div.pmatrix { text-align: center; }

table.pmatrix { width: 100%; }

span.pmatrix img { vertical-align: middle; }

span.bar-css { text-decoration: overline; }

img.cdots { vertical-align: middle; }

.partToc a, .partToc, .likepartToc a, .likepartToc { line-height: 200%; font-weight: bold; font-size: 110%; }

.chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc { line-height: 200%; font-weight: bold; }

.index-item, .index-subitem, .index-subsubitem { display: block; }

div.caption { text-indent: -2em; margin-left: 3em; margin-right: 1em; text-align: left; }

div.caption span.id { font-weight: bold; white-space: nowrap; }

h1.partHead { text-align: center; }

p.bibitem { text-indent: -2em; margin-left: 2em; margin-top: 0.6em; margin-bottom: 0.6em; }

p.bibitem-p { text-indent: 0; margin-left: 2em; margin-top: 0.6em; margin-bottom: 0.6em; }

.paragraphHead, .likeparagraphHead { margin-top: 2em; font-weight: bold; }

.subparagraphHead, .likesubparagraphHead { font-weight: bold; }

.verse { white-space: nowrap; margin-left: 2em; }

div.maketitle { text-align: center; margin-bottom: 2em; }

h2.titleHead { text-align: center; }

div.author, div.date { text-align: center; }

div.thanks { text-align: left; margin-left: 10%; font-size: 85%; font-style: italic; }

.chapterToc, .likechapterToc { margin-left: 0; }

.chapterToc ~ .likesectionToc, .chapterToc ~ .sectionToc, .likechapterToc ~ .likesectionToc, .likechapterToc ~ .sectionToc { margin-left: 2em; }

.chapterToc ~ .likesectionToc ~ .likesubsectionToc, .chapterToc ~ .likesectionToc ~ .subsectionToc, .chapterToc ~ .sectionToc ~ .likesubsectionToc, .chapterToc ~ .sectionToc ~ .subsectionToc, .likechapterToc ~ .likesectionToc ~ .likesubsectionToc, .likechapterToc ~ .likesectionToc ~ .subsectionToc, .likechapterToc ~ .sectionToc ~ .likesubsectionToc, .likechapterToc ~ .sectionToc ~ .subsectionToc { margin-left: 4em; }

.chapterToc ~ .likesectionToc ~ .likesubsectionToc ~ .likesubsubsectionToc, .chapterToc ~ .likesectionToc ~ .likesubsectionToc ~ .subsubsectionToc, .chapterToc ~ .likesectionToc ~ .subsectionToc ~ .likesubsubsectionToc, .chapterToc ~ .likesectionToc ~ .subsectionToc ~ .subsubsectionToc, .chapterToc ~ .sectionToc ~ .likesubsectionToc ~ .likesubsubsectionToc, .chapterToc ~ .sectionToc ~ .likesubsectionToc ~ .subsubsectionToc, .chapterToc ~ .sectionToc ~ .subsectionToc ~ .likesubsubsectionToc, .chapterToc ~ .sectionToc ~ .subsectionToc ~ .subsubsectionToc, .likechapterToc ~ .likesectionToc ~ .likesubsectionToc ~ .likesubsubsectionToc, .likechapterToc ~ .likesectionToc ~ .likesubsectionToc ~ .subsubsectionToc, .likechapterToc ~ .likesectionToc ~ .subsectionToc ~ .likesubsubsectionToc, .likechapterToc ~ .likesectionToc ~ .subsectionToc ~ .subsubsectionToc, .likechapterToc ~ .sectionToc ~ .likesubsectionToc ~ .likesubsubsectionToc, .likechapterToc ~ .sectionToc ~ .likesubsectionToc ~ .subsubsectionToc, .likechapterToc ~ .sectionToc ~ .subsectionToc ~ .likesubsubsectionToc .likechapterToc ~ .sectionToc ~ .subsectionToc ~ .subsubsectionToc { margin-left: 6em; }

.likesectionToc, .sectionToc { margin-left: 0; }

.likesectionToc ~ .likesubsectionToc, .likesectionToc ~ .subsectionToc, .sectionToc ~ .likesubsectionToc, .sectionToc ~ .subsectionToc { margin-left: 2em; }

.likesectionToc ~ .likesubsectionToc ~ .likesubsubsectionToc, .likesectionToc ~ .likesubsectionToc ~ .subsubsectionToc, .likesectionToc ~ .subsectionToc ~ .likesubsubsectionToc, .likesectionToc ~ .subsectionToc ~ .subsubsectionToc, .sectionToc ~ .likesubsectionToc ~ .likesubsubsectionToc, .sectionToc ~ .likesubsectionToc ~ .subsubsectionToc, .sectionToc ~ .subsectionToc ~ .likesubsubsectionToc, .sectionToc ~ .subsectionToc ~ .subsubsectionToc { margin-left: 4em; }

.likesubsectionToc, .subsectionToc { margin-left: 0; }

.likesubsectionToc ~ .subsubsectionToc, .subsectionToc ~ .subsubsectionToc { margin-left: 2em; }

figure.float, div.figure { margin-left: auto; margin-right: auto; }

figure.float img, figure.figure img { display: block; margin-left: auto; margin-right: auto; }

figure.figure { text-align: center; }

figcaption.caption { text-indent: -2em; margin-left: 3em; margin-right: 1em; text-align: center; }

figcaption.caption span.id { font-weight: bold; white-space: nowrap; }

.poemtitle, likepoemtitle { margin-left: 2em; margin-bottom: 0.5em; }

.skip-verseline { margin-top: 1em; }

.skip-verseline, .verseline { white-space: nowrap; }

.flagverse { float: right; font-size: 85%; text-decoration: underline; }

.verse p { margin-bottom: 0; }

.poemline { text-align: right; width: 6em; }

.booknumber { display: block; }

div.abstract p { margin-left: 5%; margin-right: 5%; }

div.abstract { width: 100%; }

.abstracttitle { text-align: center; margin-bottom: 1em; }

.abstract { margin: 1em; }

.equation-star td { text-align: center; }

table.equation-star { width: 100%; }

table.align, table.alignat, table.xalignat, table.xxalignat, table.flalign { width: 95%; margin-left: 5%; white-space: nowrap; }

table.align-star, table.alignat-star, table.xalignat-star, table.flalign-star { margin-left: auto; margin-right: auto; white-space: nowrap; }

td.align-label { width: 5%; text-align: center; }

td.align-odd { text-align: right; padding-right: 0.3em; }

td.align-even { text-align: left; padding-right: 0.6em; }

table.multline, table.multline-star { width: 100%; }

td.gather { text-align: center; }

table.gather { width: 100%; }

div.gather-star { text-align: center; }

.rotatebox { display: inline-block; }

.lstlisting .label { margin-right: 0.5em; }

div.lstlisting { font-family: monospace,monospace; white-space: nowrap; margin-top: 0.5em; margin-bottom: 0.5em; }

div.lstinputlisting { font-family: monospace,monospace; white-space: nowrap; }

.lstinputlisting .label { margin-right: 0.5em; }

.tcolorbox { margin-top: 0.5em; margin-bottom: 0.5em; }

.tcolorbox .lowerbox { margin-top: 0; }

pre.fancyvrb, div.fancyvrb.lstlisting { white-space: pre-wrap; margin: 0; font-family: monospace,monospace; }

.framedenv { border: 1px solid #000; }

dt.printshorthands { float: left; clear: left; margin-right: 1em; }

dd.thebibliography { margin-left: 5em; }

dt.thebibliography { clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; clear: left; margin-right: 1em; float: left; clear: left; margin-right: 1em; }

div.longtable { text-align: center; }

table.longtable { margin-left: auto; margin-right: auto; }

.supertabular { text-align: center; }

.textcolor-007f00 { color: #007f00; }

.textcolor-656565 { color: #656565; }

.textcolor-3f7f7f { color: #3f7f7f; }

.ecti-1000 { font-style: italic; }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

.textcolor-19167c { color: #19167c; }

.tctt-1000 { font-family: monospace,monospace; }

@media print { div.crosslinks { visibility: hidden; } }

.textcolor-ba2121 { color: #ba2121; }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

.ecrm-0800 { font-size: 80%; }

.tcrm-0800 { font-size: 80%; }

.ecti-0800 { font-size: 80%; font-style: italic; }

@media print { div.crosslinks { visibility: hidden; } }

.eccc1000- { font-variant: small-caps; }

.small-caps { font-variant: small-caps; }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

.ecbx-1000 { font-weight: bold; }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

.textcolor-7c8e28 { color: #7c8e28; }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }





@media print { div.crosslinks { visibility: hidden; } }

.textcolor-0000ff { color: #00f; }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }















.textcolor-ba6587 { color: #ba6587; }

.textcolor-870000 { color: #870000; }

.textcolor-ba6521 { color: #ba6521; }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

.textcolor-00a000 { color: #00a000; }

.textcolor-7f007f { color: #7f007f; }

.textcolor-00007f { color: #00007f; }

.textcolor-a00000 { color: #a00000; }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

.ectt-0800 { font: 80% monospace,monospace; }

.ecbx-0800 { font-size: 80%; font-weight: bold; }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

#colorbox53 { border: #f00; background-color: #fff; }

#colorbox335 { border: #f00; background-color: #fff; }

@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }



@media print { span.next { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

@media print { div.crosslinks { visibility: hidden; } }

.series { background-color: #f1f1f1; border-radius: 5px; padding: 10px; }

.series summary:focus { outline-style: none; }

.series summary:hover { cursor: pointer; }

.series-list { margin-top: 2rem; margin-bottom: 5rem; }

.series-heading { margin-top: 2em; }

.series-posts { margin-top: 1em; list-style-type: none; }

.sv-dt-modified { font-size: 60%; }

.svlisting-title, .svout-title { display: flex; justify-content: flex-end; margin-bottom: -15px; margin-top: 5px; }

.svlisting-title > div, .svout-title > div { background-color: #f1f1f1; text-align: right; border-top-left-radius: 1.5rem; border-top-right-radius: 5px; padding-left: 1rem; padding-right: 10px; font-size: small; font-weight: 400; font-style: italic; }

div#watermark { position: fixed; bottom: 2%; right: 10px; opacity: 0.5; color: gray; background-color: #a00000; border-radius: 10px; height: 96%; width: 50px; white-space: nowrap; box-sizing: border-box; }

div#watermark h1 { transform: rotate(90deg); margin-top: 40vh; }

/* This file adds some fixes to the autogenerated latex/styles.css These bring the format back more into line with the wwebsite theme */
/* These styles augment those in latex/styles.css Generally these additional styles are for elements add by the tex4ht *.cfg files in ci/latex or the the saltyvagrant.4ht */
div.abstract { padding-left: 25pt; padding-right: 25pt; }

.inline-cmd { font-family: monospace,monospace; background-color: #f1f1ff; }

.sectionHead { margin-top: 5em; }

.sectionHead:first-child { margin-top: 0em; }

.subsectionHead { margin-top: 3em; }

.subsubsectionHead { margin-top: 3em; }

.book-content > h2.likechapterHead { margin-top: 1.5em; }

.book_part-nav { padding: 1em 0 1em; text-align: justify; }

.book_part-nav:after { content: ''; width: 100%; display: inline-block; }

.book_part-nav > a { display: inline-block; }

/* Fudge to correct separation of svlisting line numbers from code */
pre.fancyvrb .cmr-6, div.fancyvrb.lstlisting .cmr-6 { padding-right: 12pt; }

/* Fudge to correct separation of minted line numbers from code */
pre.fancyvrb .ecrm-0600, div.fancyvrb.lstlisting .ecrm-0600 { display: inline-block; width: 2.5em; }

pre.fancyvrb, div.fancyvrb.lstlisting { overflow-x: scroll; overflow-wrap: normal; white-space: pre; margin-top: 1em; line-height: 1.2em; }

/* Add a little breathing room to figures */
figure.figure img { margin-top: 1em; }

figcaption.caption { margin-top: 1em; }

/* Description lists, to more closely match PDF output */
dl.description { margin-left: 40px; margin-top: 1em; }

dt.description { display: inline-block; margin-left: -40px; }

dt.description::after { content: "\00a0"; }

dd.description { display: inline; margin-inline-start: 0; }

dd.description::after { display: block; content: ''; }

/* Boxnotes */
div.boxnote { margin: 2em 0 2em 0; border-radius: 5mm; }

.boxnote div.tcolorbox-title { padding-left: 10px; padding-right: 10px; border-top-left-radius: 10px; border-top-right-radius: 10px; background-color: grey; color: white; }

.boxnote div.tcolorbox-content { padding: 1em 2em 1em 2em; border-bottom-left-radius: 10px; border-bottom-right-radius: 10px; background-color: lightgrey; border: 2px solid grey; }

/* Warnnotes */
div.warnnote { margin: 2em 0 2em 0; border-radius: 5mm; }

.warnnote div.tcolorbox-title { padding-left: 10px; padding-right: 10px; border-top-left-radius: 10px; border-top-right-radius: 10px; background-color: red; color: white; }

.warnnote div.tcolorbox-content { padding: 1em 2em 1em 2em; border-bottom-left-radius: 10px; border-bottom-right-radius: 10px; background-color: #ff9999; border: 2px solid red; }

/* Followalong */
div.followalong { margin: 2em 0 2em 0; }

.followalong div.tcolorbox-title { padding-left: 10px; padding-right: 10px; border-top-left-radius: 10px; border-top-right-radius: 10px; background-color: blue; color: white; }

.followalong div.tcolorbox-content { padding: 1em 2em 1em 2em; border-bottom-left-radius: 10px; border-bottom-right-radius: 10px; background-color: lightblue; border: 2px solid blue; }

/* Author note */
div.authornote { margin: 2em 0 2em 0; }

.authornote div.tcolorbox-title { padding-left: 10px; padding-right: 10px; border-top-left-radius: 10px; border-top-right-radius: 10px; background-color: yellow; color: black; }

.authornote div.tcolorbox-content { padding: 1em 2em 1em 2em; border-bottom-left-radius: 10px; border-bottom-right-radius: 10px; background-color: lightyellow; border: 2px solid yellow; }

.tocat { background-color: #f1f1f1; border-radius: 5px; padding: 10px; }

.tocat summary:focus { outline-style: none; }

.tocat summary:hover { cursor: pointer; }

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