#TOC {
  margin: 2em;
  border-width: 2px;
  border-style: solid;
  padding: 1em;
}

#TOC:before {
  content: '目次';
}

code{white-space: pre-wrap;}
span.smallcaps{font-variant: small-caps;}
span.underline{text-decoration: underline;}
div.column{display: inline-block; vertical-align: top; width: 50%;}
q { quotes: "“" "”" "‘" "’"; }

ul {
  padding-left: 1.15em;
}

header h1 {
  text-align: center;
  border-top-style: double;
  border-bottom-style: double;
  border-top-width: 10px;
  border-bottom-width: 10px;
  padding-top: 0.25em;
  padding-bottom: 0.25em;
}

article h1 {
  text-align: center;
  border-bottom-style: solid;
  border-bottom-width: 2px;
}

article h2 {
  border-left-style: solid;
  border-left-width: 1em;
  border-bottom-style: solid;
  border-bottom-width: 1px;
  padding: 0 0 0 0.5em;
  height: 1em;
  line-height: 1;
}

footer {
  font-size: 80%;
  border-top-style: solid;
  border-top-width: 4px;
}

footer ul {
  list-style-type: none;
  padding: 0;
}

#TimeStamp {
  text-align: right;
  font-size: 75%;
  font-style: italic;
}

ul#Updates {
  list-style-type: none;
  font-size: 60%;
}


@media screen {
  body {
    color: #28283c;
    background-color: #f2f2f2;
  }

  p {
    line-height: 1.4;
    font-family: serif;
  }

  nav h1 {
    border-top-style: double;
    border-bottom-style: double;
    border-top-width: 5px;
    border-bottom-width: 5px;
    background-color: #28283c;
    color: #f2f2f2;
    font-size: 100%;
    line-height: 1.3;
    text-align: center;
  }

  a:link {
    color: #377aa7;
  }

  a:visited {
    color: #9b66be;
  }

  a:hover {
    color: #259268;
  }

  a:active {
    color: #ce2c77;
  }

  a[rel=external] {
    color: #a19523;
  }

  a[rel=external]:after {
    content: '(外部リンク)';
    font-size: 70%;
  }

  em {
    color: #ce5f2c;
  }

  strong {
    color: #a01717
  }

  #UpArrow, #DownArrow {
    width: 1.75em;
    height: 1.75em;
    font-size: 1.5em;
    font-family: sans-serif;
    background-color: rgba(190, 190, 190, 0.233);
    text-align: center;
    line-height: 1.75;
    display: block;
    color: rgba(18, 50, 71, 0.719);
    z-index: 1000;
    position: fixed;
  }

  #UpArrow {
    bottom: 2.5em;
    right: 0.5em;
  } 
  #DownArrow {
    bottom: 0.5em;
    right: 0.5em;
  }
  #ThemeSwitcher {
    position: absolute;
    right: 0.25em;
    top: 0.25em;
    color: rgba(18, 50, 71, 0.719);
    background-color: rgba(255, 255, 255, 0.7);
    font-size: 1.5em;
    width: 1.5em;
    height: 1.5em;
    padding: 0;
    line-height: 1.5;
    text-align: center;
    border-style: solid;
    border-width: 2px;
    border-radius: 50%;
    cursor: pointer;
  }

  blockquote {
    border-left-color: #7496cc;
    border-left-style: solid;
    border-left-width: 0.5em;
    padding-left: 0.5em;
  }

  /* Source Code */
  pre code.sourceCode {
    color: #eff0f6;
    line-height: 1.3;
    white-space: pre-wrap;
  }

  div.sourceCode {
    overflow: auto;
    background-color: #191B2A;
    padding: 0.75rem;
  }

  pre code.sourceCode .al {color: #F8F8F8; background-color: #800F00; font-weight: bold;} /*Alert*/
  pre code.sourceCode .an {color: #7496cc;} /*Annotation*/
  pre code.sourceCode .at {color: #39FFBA;} /*Attribute*/
  pre code.sourceCode .dt {color: #ffca7a;} /*BaseN*/
  pre code.sourceCode .du {color: #F1B3F1;} /*Builtin*/
  pre code.sourceCode .cf {color: #39FFBA;} /*ControlFlow*/
  pre code.sourceCode .ch {color: #ac3756;} /*Char*/
  pre code.sourceCode .cn {color: #F1B3F1;} /*Constant*/
  pre code.sourceCode .co {color: #858DB7;} /*Comment*/
  pre code.sourceCode .cv {color: #ffca7a;} /*CommentVar*/
  pre code.sourceCode .do {color: #218B97;} /*Documentation*/
  pre code.sourceCode .dt {color: #2dad86;} /*DataType*/
  pre code.sourceCode .dv {color: #F1B3F1;} /*DecVal*/
  pre code.sourceCode .er {color: #F8F8F8; text-decoration: underline;} /*Error*/
  pre code.sourceCode .ex {color: #2dad86;} /*Extension*/
  pre code.sourceCode .fl {color: #F1B3F1;} /*Float*/
  pre code.sourceCode .fu {color: #FF476E;} /*Function*/
  pre code.sourceCode .im {color: #2dad86;} /*Import*/
  pre code.sourceCode .in {color: #01a8ad;} /*Infomation*/
  pre code.sourceCode .kw {color: #ac3756;} /*Keyword*/
  pre code.sourceCode .op {color: #7496cc;} /*Operator*/
  pre code.sourceCode .ot {color: #eff0f6;} /*Other*/
  pre code.sourceCode .pp {color: #A85E3D;} /*PreProcessor*/
  pre code.sourceCode .sc {color: #3daee9; background-color: #4E163E} /*SpecialChar*/
  pre code.sourceCode .ss {color: #ac3756;} /*SpecialString*/
  pre code.sourceCode .st {color: #94BFFF;} /*String*/
  pre code.sourceCode .va {color: #39ffba;} /*Variable*/
  pre code.sourceCode .vs {color: #218B97; font-style: italic;} /*VerbatimString*/
  pre code.sourceCode .wa {color: #eff0f6;} /*Warning*/

  a.sourceLine { display: inline-block; line-height: 1.25; }
  a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; }
  a.sourceLine:empty { height: 1.2em; position: absolute; }
  div.sourceCode { margin: 1em 0; }
  a.sourceLine::before { text-decoration: underline; }
}


a.sourceLine { text-indent: -1em; padding-left: 1em; }
pre.numberSource a.sourceLine
  { position: relative; }
pre.numberSource a.sourceLine:empty
  { position: absolute; }
pre.numberSource a.sourceLine::before
  { content: attr(data-line-number);
    position: absolute; left: -5em; text-align: right; vertical-align: baseline;
    border: none; pointer-events: all;
    -webkit-touch-callout: none; -webkit-user-select: none;
    -khtml-user-select: none; -moz-user-select: none;
    -ms-user-select: none; user-select: none;
    padding: 0 4px; width: 4em;
    color: #aaaaaa;
  }
pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa;  padding-left: 4px; }

@media screen and (prefers-color-scheme: dark) {

  body.theme_dark {
    background-color: #28283c;
    color: #f2f2f2;
  }
}

@media not screen {
  nav {
    display: none;
  }

  #UpArrow, #DownArrow, #ThemeSwitcher {
    display: none;
  }

  blockquote {
    font-style: italic;
  }
}

@media print {
  nav#TOC {
    display: block;
  }
  pre code.sourceCode { white-space: pre-wrap; }
  a.sourceLine { text-indent: -1em; padding-left: 1em; }
}


@media screen and (display-mode: browser) and (min-aspect-ratio: 4/3) and (min-width: 640px) {
  body {
    font-size: 2.5vw;
  }
}

@media screen and (display-mode: browser) and (max-aspect-ratio: 4/3) and (min-height: 800px) {
  body {
    font-size: 2vh;
  }
}