@charset "UTF-8";

@import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro:ital,wght@0,400;0,700;1,400;1,700&family=PT+Sans+Narrow:wght@400;700&display=swap');

@font-face {
    font-family: "libertinus";
    src: url("LibertinusSerif-Regular.woff2") format("woff2");
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: "libertinus";
    src: url("LibertinusSerif-Italic.woff2") format("woff2");
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: "libertinus";
    src: url("LibertinusSerif-Bold.woff2") format("woff2");
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: "libertinus";
    src: url("LibertinusSerif-BoldItalic.woff2") format("woff2");
    font-weight: bold;
    font-style: italic;
}

html {
    box-sizing: border-box;
    font-family: libertinus, "Garamond", "Times New Roman", serif;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
    text-rendering: optimizeLegibility;
    background: #fffff8;
    color: #112;
}

*, *:after, *:before, input {
    font-family: inherit;
    box-sizing: inherit
}

body {
    line-height: 1.4;
    width: 60em;
    margin: 4em auto;
    max-width: 100%;
    padding-left: 1em;
    padding-right: 1em
}

body > article pre,
body > article tt,
body > article kbd,
body > article samp,
body > article code,
pre.code,
tt.literal {
    font-family: 'Source Code Pro', 'Ubuntu Mono', 'IBM Plex Mono', monospace;
    font-size: 1.15rem;
    background-color: #e9c8b6;
}

html {
    font-size: 15px;
}
p, ol, ul, dl {
    font-size: 1.4rem;
    margin-top: 1.3em;
    margin-bottom: 1.3em
}

article, aside, figure, footer, header, hgroup, nav, section {
    display: block;
}

h1, h2, h3, h4, h5, h6 {
    font-family: 'PT Sans Narrow', 'Helvetica', 'Arial';
}
body > header {
    padding: 10px;
    text-decoration: none;
    text-align: center;
}
body > header h1 {
	padding-top: 1.5em;
	font-size: 2.6rem;
}
body > header h1 a {
    color: black;
    text-decoration: none;
}
body > header h1 a:hover {
    text-shadow: #888888 0px 0px 1px
}
body > header h1 a:visited {
    color: black
}
body > header ul {
    padding: 1em
}
body > header ul li {
    display: inline-block;
    margin: 0 1.3em 0 1.3em;
}
body > header ul a {
    color: black;
    text-decoration: none;
}
body > header ul a:hover {
    text-shadow: #888888 0px 0px 1px
}
body > article {
    padding: 1.6em;
    margin-top: 64px;
    margin-bottom: 64px;
    text-align: justify;
    font-size: 1.4rem;
}
body > article > header {
    margin-left: -1.1em;
    margin-bottom: -0.7em;
}
body > article > header h1 {
    color: black;
	font-size: 3.0rem;
	padding-top: 1.5em;
    text-decoration: none;
}
body > article > header h1 a {
    color: black;
    font-weight: bold;
    text-decoration: none;
}
body > article > header h1 a:hover {
    text-shadow: #888888 0px 0px 1px
}
body > article > header h1 a:visited {
    color: black
}
body > article > header time {
    float: right;
	font-size: 1.2rem;
    font-weight: bold;
	margin: 0pt 0pt 0pt 15px;
}
body > article h2 {
    font-weight: bold;
    font-size: 2.1rem;
}
body > article h3 {
    font-weight: bold;
    font-size: 1.9rem;
}
body > article h4 {
    font-weight: bold;
    font-size: 1.7rem;
}
body > article a {
    text-decoration: none;
    color: #cc0000;
}
body > article a:visited {
    color: #aa0000
}
body > article a:hover {
    color: #ff190d;
    text-shadow: #ff6666 0px 0px 1px;
}
body > article p {
    line-height: 1.3em
}
body > article dl {
    padding-left: 16px
}
body > article dl dt {
    font-weight: bold;
    color: #444444;
    padding: 6px 92px 3px 0;
    padding-top: 9px;
}
body > article ul {
    padding: 0 0 10px 40px;
    list-style-type: disc;
}
body > article li {
    padding-top: 3px
}
body > article blockquote {
    border-left: 3pt solid #aaaaaa;
    padding-left: 1em;
    padding-right: 1em;
    margin-left: 1em;
    font-style: italic;
    color: #222222;
}
body > article blockquote em {
    font-weight: bold
}
body > article img {
    max-width: 700px;
    margin: 0em 20px;
    box-shadow: 0px 0px 4px black;
}
body > article .amp :not(tt) {
    color: #666666;
    font-size: small;
    font-style: italic;
}
body > article .caps {
    font-size: 0.92em
}
body > article .highlight {
    border: 1px solid #cccccc;
    padding-left: 1em;
    margin-bottom: 10px;
    margin-top: 10px;
    background: none repeat scroll 0 0 #f0f0f0;
    overflow: auto;
}
body > article > footer p {
    margin: 0 0 0 0;
    font-style: italic;
}
body > article > footer a {
    color: #111111;
    font-weight: bold;
    font-size: 0.95em;
    text-decoration: none;
}
body > article > footer a:hover {
    color: #111111;
    text-shadow: #aaaaaa 0px 0px 1px;
}
body > article > footer a:visited {
    color: black
}
body > article .page {
    margin-top: -20px;
    font-weight: bold;
    color: black;
    text-decoration: none;
    border-bottom: 1px dotted black;
}
body > .page {
    margin-top: -20px;
    margin-bottom: 20px;
    font-weight: bold;
    font-size: 1.4rem;
    color: black;
    text-decoration: none;
    border-bottom: 1px dotted black;
}
body > .page:hover {
    text-shadow: #aaaaaa 0px 0px 1px;
}

#arc {
    border-collapse: collapse
}
#arc th,
#arc td {
    padding-top: 0.4em;
    list-style: none;
    margin: 0;
}
#arc th {
    text-align: right;
    padding: 0.4em 1.75em 0 0;
    vertical-align: baseline;
}
body > footer {
    margin-top: 10px;
    padding: 10px;
    text-align: center;
}
body > footer a {
    font-weight: bold;
    text-decoration: none;
    border-bottom: 1px dotted black;
    color: #cc0000;
}
body > footer a:hover {
    text-shadow: #ee6688 0px 0px 1px;
    color: #ff190d;
}
.comments a {
    color: black
}
.comments a:hover {
    color: #111111;
    text-shadow: #aaaaaa 0px 0px 1px;
}
.comments a:visited {
    color: black
}
object[type="application/x-shockwave-flash"], iframe.video {
    box-shadow: 0px 0px 12px #777777;
    margin-left: 15px;
    text-align: center;
}
#dsq-content .dsq-avatar {
    /* disqus fix */
    margin-left: -18px;
}
.shadow {
    box-shadow: 0px 0px 4px black
}
.floatright {
    float: right
}
.floatleft {
    float: left
}

img.right-float {
	margin: 0pt 0pt 0pt 15px;
    float: right;
}
img.left-float {
	margin: 0pt 15px 0pt 0pt;
    float: left;
}

.figure .caption {
    padding-top: 0.5em;
}
.figure .caption,
.figure .legend {
    padding-left: 1em;
    padding-right: 1em;
}

@media only screen and (min-device-width : 375px) and (max-device-width : 667px) {
    html {
        font-size: 14px
    }
    body {
        margin: 2em auto
        width: 25em;
    }
}

/* Tag Cloud */
.tag-list { list-style: none; }
.tag-list li { display: inline; margin-right: 20px; }
.tag-list .tag-0 { font-size: 1.9em; line-height: 1.9em; }
.tag-list .tag-1 { font-size: 1.6em; line-height: 1.6em; }
.tag-list .tag-2 { font-size: 1.3em; line-height: 1.3em; }
.tag-list .tag-3 { font-size: 1.0em; line-height: 1.0em; }

div.attention, div.caution, div.danger, div.error, div.hint,
div.important, div.note, div.tip, div.warning {
  background-color: #cccccc;
  padding: 20px;
  width: 80%;
}

div.admonition p.admonition-title, div.hint p.admonition-title,
div.important p.admonition-title, div.note p.admonition-title,
div.tip p.admonition-title  {
  text-align: center;
  background-color: #999999;
  display: block;
  margin: 0;
}

div.attention p.admonition-title, div.caution p.admonition-title,
div.danger p.admonition-title, div.error p.admonition-title,
div.warning p.admonition-title {
  color: #cc0000;
  font-family: sans-serif;
  text-align: center;
  background-color: #999999;
  display: block;
  margin: 0;
}

.align-left {
  text-align: left }

.align-center {
  clear: both ;
  text-align: center }

.align-right {
  text-align: right }

a.continue {
  background-color: #b5cbee;
  padding: 0 0.25rem 0 0.5rem;
  font-style: normal;
  font-family: 'PT Sans Narrow', sans-serif;
  font-weight: bold;
  font-variant: small-caps;
}

a.continue, a.continue:visited {
  color: #03501c;
}

a.continue:hover, a.continue:focus {
  background-color: #d8dfea;
  color: #660b42;
  font-weight: bolder;
  border: thin solid black;
}

a.continue::after {
  padding-left: 0.5rem;
  content: "\25B8"; /* ▸ */
  font-style: normal;
}