@charset "UTF-8";
*, *:before, *:after {
  box-sizing: border-box;
}

html, body, div, span, object, iframe, figure, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, code, em, img, small, strike, strong, sub, sup, tt, b, u, i, ol, ul, li, dl, dd, dt, fieldset, form, label, table, caption, tbody, tfoot, thead, tr, th, td, main, canvas, embed, footer, header, nav, section, video {
  margin: 0;
  padding: 0;
  border: 0;
  font-size: 100%;
  font: inherit;
  vertical-align: baseline;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
  text-size-adjust: none;
}

footer, header, nav, section, main {
  display: block;
}

body {
  line-height: 1;
}

ol, ul {
  list-style: none;
}

blockquote, q {
  quotes: none;
}

blockquote:before, blockquote:after, q:before, q:after {
  content: "";
  content: none;
}

table {
  border-collapse: collapse;
  border-spacing: 0;
}

input {
  -webkit-appearance: none;
  border-radius: 0;
}

html {
  overflow-x: hidden;
  font-size: 16px;
}
@media (max-width: 46.5rem) {
  html {
    font-size: 14px;
  }
}

body {
  display: flex;
  justify-content: center;
  align-items: flex-start;
  min-height: 100vh;
  overflow-x: hidden;
  background-image: url("../images/crossword.png");
  background-repeat: repeat;
}

a {
  text-decoration: none;
}

#contents {
  max-width: 46rem;
  width: 100%;
  min-height: 100vh;
  background-color: white;
  border-left-width: 0.15rem;
  border-left-style: solid;
}
#contents.eepp {
  border-left-color: #d91656;
  border-bottom-color: #d91656;
}
#contents.eepp header {
  background-color: #d91656;
}
#contents.eepp main h2 {
  border-left-color: #d91656;
}
#contents.eepp main div.sh table.sh td.pr {
  color: rgb(242.5271966527, 131.9728033473, 168.2573221757);
}
#contents.eepp main .large {
  border-color: #d91656;
}
#contents.eepp main a {
  color: rgb(70.6, 42, 66.8);
}
#contents.eepp main a:hover {
  color: #d91656;
}
#contents.eepp main > p:last-child::after {
  color: #d91656;
}
#contents.eepp main table a.eepp, #contents.eepp main p a.eepp {
  color: rgb(125.5, 34.5, 74);
}
#contents.eepp main table a.jgalar, #contents.eepp main p a.jgalar {
  color: rgb(117.5, 75, 132);
}
#contents.eepp main table a.simark, #contents.eepp main p a.simark {
  color: rgb(28, 106.5, 139.5);
}
#contents.eepp main table a:hover.eepp, #contents.eepp main p a:hover.eepp {
  color: #d91656;
}
#contents.eepp main table a:hover.jgalar, #contents.eepp main p a:hover.jgalar {
  color: #c967ca;
}
#contents.eepp main table a:hover.simark, #contents.eepp main p a:hover.simark {
  color: #16a6d9;
}
#contents.jgalar {
  border-left-color: #c967ca;
  border-bottom-color: #c967ca;
}
#contents.jgalar header {
  background-color: #c967ca;
}
#contents.jgalar main h2 {
  border-left-color: #c967ca;
}
#contents.jgalar main div.sh table.sh td.pr {
  color: rgb(228, 179, 228.5);
}
#contents.jgalar main .large {
  border-color: #c967ca;
}
#contents.jgalar main a {
  color: rgb(67.4, 58.2, 90);
}
#contents.jgalar main a:hover {
  color: #c967ca;
}
#contents.jgalar main > p:last-child::after {
  color: #c967ca;
}
#contents.jgalar main table a.eepp, #contents.jgalar main p a.eepp {
  color: rgb(125.5, 34.5, 74);
}
#contents.jgalar main table a.jgalar, #contents.jgalar main p a.jgalar {
  color: rgb(117.5, 75, 132);
}
#contents.jgalar main table a.simark, #contents.jgalar main p a.simark {
  color: rgb(28, 106.5, 139.5);
}
#contents.jgalar main table a:hover.eepp, #contents.jgalar main p a:hover.eepp {
  color: #d91656;
}
#contents.jgalar main table a:hover.jgalar, #contents.jgalar main p a:hover.jgalar {
  color: #c967ca;
}
#contents.jgalar main table a:hover.simark, #contents.jgalar main p a:hover.simark {
  color: #16a6d9;
}
#contents.simark {
  border-left-color: #16a6d9;
  border-bottom-color: #16a6d9;
}
#contents.simark header {
  background-color: #16a6d9;
}
#contents.simark main h2 {
  border-left-color: #16a6d9;
}
#contents.simark main div.sh table.sh td.pr {
  color: rgb(131.9728033473, 213.6129707113, 242.5271966527);
}
#contents.simark main .large {
  border-color: #16a6d9;
}
#contents.simark main a {
  color: rgb(31.6, 70.8, 93);
}
#contents.simark main a:hover {
  color: #16a6d9;
}
#contents.simark main > p:last-child::after {
  color: #16a6d9;
}
#contents.simark main table a.eepp, #contents.simark main p a.eepp {
  color: rgb(125.5, 34.5, 74);
}
#contents.simark main table a.jgalar, #contents.simark main p a.jgalar {
  color: rgb(117.5, 75, 132);
}
#contents.simark main table a.simark, #contents.simark main p a.simark {
  color: rgb(28, 106.5, 139.5);
}
#contents.simark main table a:hover.eepp, #contents.simark main p a:hover.eepp {
  color: #d91656;
}
#contents.simark main table a:hover.jgalar, #contents.simark main p a:hover.jgalar {
  color: #c967ca;
}
#contents.simark main table a:hover.simark, #contents.simark main p a:hover.simark {
  color: #16a6d9;
}
#contents.raie {
  border-left-color: #222f3e;
  border-bottom-color: #222f3e;
}
#contents.raie header {
  background-color: #222f3e;
}
#contents.raie main h2 {
  border-left-color: #222f3e;
}
#contents.raie main div.sh table.sh td.pr {
  color: rgb(121.3125, 149.34375, 181.6875);
}
#contents.raie main .large {
  border-color: #222f3e;
}
#contents.raie main a {
  color: #222f3e;
}
#contents.raie main a:hover {
  color: #222f3e;
}
#contents.raie main > p:last-child::after {
  color: #222f3e;
}
#contents.raie main table a.eepp, #contents.raie main p a.eepp {
  color: rgb(125.5, 34.5, 74);
}
#contents.raie main table a.jgalar, #contents.raie main p a.jgalar {
  color: rgb(117.5, 75, 132);
}
#contents.raie main table a.simark, #contents.raie main p a.simark {
  color: rgb(28, 106.5, 139.5);
}
#contents.raie main table a:hover.eepp, #contents.raie main p a:hover.eepp {
  color: #d91656;
}
#contents.raie main table a:hover.jgalar, #contents.raie main p a:hover.jgalar {
  color: #c967ca;
}
#contents.raie main table a:hover.simark, #contents.raie main p a:hover.simark {
  color: #16a6d9;
}
@media (max-width: 46.5rem) {
  #contents {
    border-left-width: 0.3rem;
  }
}
@media (min-width: 46.5rem) {
  #contents {
    border-right: 1px solid rgb(210.4703703704, 221.8051851852, 233.9496296296);
  }
}
#contents header {
  width: calc(100% + 1px);
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 1rem 3rem 1rem 3rem;
  margin-bottom: 3rem;
}
@media (max-width: 46.5rem) {
  #contents header {
    width: 100%;
    padding-left: 1rem;
    padding-right: 1rem;
    margin-bottom: 1rem;
  }
}
#contents header .logo a {
  font-family: "Atkinson Hyperlegible Mono", monospace;
  font-weight: bold;
  font-style: italic;
  font-size: 1.5rem;
  color: rgba(255, 255, 255, 0.95);
}
@media (max-width: 46.5rem) {
  #contents header .logo a {
    font-size: 1.25rem;
  }
}
#contents header .logo a .xo {
  font-weight: normal;
}
#contents header .logo a:hover {
  color: rgba(255, 255, 255, 0.75);
}
#contents header nav a {
  text-decoration: none;
  margin-left: 1.5rem;
  font-family: "Manrope", sans-serif;
  font-weight: 500;
  color: rgba(255, 255, 255, 0.9);
}
#contents header nav a:hover {
  text-decoration: underline;
  text-decoration-thickness: 0.1rem;
  color: white;
}
#contents header nav a:first-child {
  margin-left: 0;
}
@media (max-width: 46.5rem) {
  #contents header nav a {
    font-weight: 700;
    margin-left: 0;
    font-size: 0.9rem;
  }
  #contents header nav a:not(:first-child)::before {
    content: " / ";
    opacity: 0.5;
    margin-left: 0.25rem;
    margin-right: 0.25rem;
  }
}
#contents main {
  padding: 0 3rem 3rem 3rem;
  color: #222f3e;
}
@media (max-width: 46.5rem) {
  #contents main {
    padding-left: 1rem;
    padding-right: 1rem;
    padding-bottom: 1rem;
  }
}
#contents main h1, #contents main h2, #contents main h3, #contents main p, #contents main ul, #contents main ol, #contents main dl, #contents main blockquote {
  margin-bottom: 1rem;
}
#contents main > :last-child {
  margin-bottom: 0;
}
#contents main p, #contents main ul, #contents main ol, #contents main dl, #contents main blockquote {
  font-family: "Libre Baskerville", serif;
  line-height: 1.7;
}
#contents main > p:last-child::after {
  content: " ∎";
}
#contents main h1, #contents main h2, #contents main h3 {
  font-family: "Manrope", sans-serif;
  line-height: 1.3;
}
@media (min-width: 46.5rem) {
  #contents main h1, #contents main h2, #contents main h3 {
    width: 30rem;
  }
}
#contents main h1 {
  font-size: 2rem;
  font-weight: 700;
}
#contents main h2 {
  font-size: 1.6rem;
  font-weight: 700;
  border-left-width: 0.5rem;
  border-left-style: solid;
  padding-left: 3rem;
  position: relative;
  left: -3.5rem;
}
#contents main h3 {
  font-weight: bold;
  text-transform: uppercase;
  font-family: "Manrope", sans-serif;
  font-size: 1.1rem;
}
#contents main h2, #contents main h3 {
  margin-top: 2.5rem;
}
#contents main .infos {
  font-family: "Libre Baskerville", serif;
  font-style: italic;
  font-size: 0.9rem;
  color: rgb(70.65625, 97.671875, 128.84375);
  margin-bottom: 3rem;
}
#contents main .infos a {
  text-decoration: none;
}
#contents main blockquote {
  border-left: 0.25rem solid #576574;
  color: #576574;
  padding-left: 1rem;
}
#contents main hr {
  border: none;
  height: 0.1rem;
  background-color: #8395a7;
  margin-top: 2rem;
  margin-bottom: 2rem;
}
#contents main pre {
  font-family: "JetBrains Mono", monospace;
  font-size: 0.8rem;
  font-variant-ligatures: none;
  padding: 1rem;
  line-height: 1.2;
  overflow-x: auto;
  background-color: rgb(246.2285714286, 247.2871921182, 248.4214285714);
  border-left: 0.25rem solid rgb(184.8285714286, 193.2975369458, 202.3714285714);
  color: rgb(17, 23.5, 31);
}
#contents main pre > code, #contents main pre > code.hljs {
  display: block;
  padding: 0;
  margin: 0;
  background-color: transparent;
  overflow-x: visible;
}
#contents main img, #contents main table, #contents main pre, #contents main p.epi,
#contents main .tip, #contents main .note, #contents main .caution, #contents main div.large,
#contents main div.sh, #contents main div.file, #contents main .box, #contents main .links, #contents main div.asciicast {
  margin-top: 1.5rem;
  margin-bottom: 1.5rem;
}
#contents main div.with-caption > p:has(img), #contents main div.with-caption > table, #contents main div.with-caption > pre, #contents main div.with-caption > div.large, #contents main div.with-caption > div.full, #contents main div.with-caption > div.sh, #contents main div.with-caption > div.file {
  margin-bottom: 0.5rem;
}
#contents main div.with-caption > p img {
  margin-bottom: 0;
}
#contents main div.with-caption div.large img, #contents main div.with-caption div.large table, #contents main div.with-caption div.large div.sh, #contents main div.with-caption div.large div.file {
  margin-bottom: 0;
}
#contents main div.with-caption > p:last-child {
  color: rgb(121.3125, 149.34375, 181.6875);
  margin-top: 0;
  margin-bottom: 1.5rem;
  font-size: 0.85rem;
  text-align: center;
  font-family: "Manrope", sans-serif;
}
#contents main div.with-caption > p:last-child::before {
  content: "⬑ ";
  font-weight: bold;
}
#contents main ul, #contents main ol {
  margin-top: 1rem;
  margin-left: 1.25rem;
}
#contents main ul {
  list-style-type: square;
}
#contents main ul ul {
  list-style-type: disc;
}
#contents main ul ul ul {
  list-style-type: circle;
}
#contents main ol {
  list-style-type: decimal;
}
#contents main ol ol {
  list-style-type: lower-alpha;
}
#contents main ol ol ol {
  list-style-type: lower-greek;
}
#contents main li {
  margin-bottom: 1rem;
}
#contents main dl dt {
  font-weight: bold;
}
#contents main dl dd {
  margin-left: 2rem;
  margin-bottom: 1rem;
}
#contents main dl dd > dl:first-child {
  margin-top: 0;
}
#contents main dl dd > dl:first-child > *:first-child {
  margin-top: 0;
}
#contents main img {
  max-width: 100%;
  display: block;
}
#contents main div.full {
  margin-left: -50vw;
  margin-right: -50vw;
  max-width: 100vw;
  position: relative;
  left: 50%;
  right: 50%;
  width: 100vw;
}
#contents main div.full p {
  margin: 0;
}
#contents main div.full img {
  display: block;
  width: 100%;
  border-top: 1px solid rgb(210.4703703704, 221.8051851852, 233.9496296296);
  border-bottom: 1px solid rgb(210.4703703704, 221.8051851852, 233.9496296296);
}
#contents main p.epi {
  padding-left: 6rem;
  padding-right: 6rem;
  font-size: 1.4rem;
}
#contents main table:not(.sh) {
  background-color: white;
  border: 0.2rem solid rgb(70.65625, 97.671875, 128.84375);
  text-align: left;
  border-collapse: collapse;
  font-size: 0.85rem;
  font-family: "Manrope", sans-serif;
  width: 100%;
}
#contents main table:not(.sh) td, #contents main table:not(.sh) th {
  border: 0.05rem solid rgb(70.65625, 97.671875, 128.84375);
  padding: 0.4rem 0.4rem;
}
#contents main table:not(.sh) thead {
  background-color: rgb(227.5, 234.5, 242);
  border-bottom: 0.15rem solid rgb(70.65625, 97.671875, 128.84375);
}
#contents main table:not(.sh) th {
  font-weight: bold;
}
#contents main div.sh, #contents main pre.sh {
  background-color: #222f3e;
  color: rgb(227.5, 234.5, 242);
  width: 100%;
}
#contents main div.sh {
  font-family: "JetBrains Mono", monospace;
  font-size: 0.8rem;
  font-variant-ligatures: none;
  padding: 1rem;
  line-height: 1.2;
  overflow-x: auto;
  white-space: pre;
}
#contents main div.sh table.sh {
  padding: 0;
  margin: 0;
  font-family: "JetBrains Mono", monospace;
  font-size: 0.8rem;
  line-height: 1.2;
  table-layout: fixed;
  width: 100%;
}
#contents main div.sh table.sh td.cmd {
  font-weight: 600;
}
#contents main div.sh table.sh td.pr {
  font-weight: bold;
  user-select: none;
  width: 1.2rem;
}
#contents main div.sh table.sh td.out {
  color: rgb(162, 175.5, 189);
}
#contents main div.file pre {
  margin-top: 0;
  margin-bottom: 0;
}
#contents main div.file pre:first-child {
  border-bottom: 0.1rem dashed rgb(184.8285714286, 193.2975369458, 202.3714285714);
  font-weight: bold;
  background-color: rgb(237.4571428571, 239.5743842365, 241.8428571429);
}
#contents main div.file pre:last-child {
  border-top: none;
}
@media (min-width: 60.5rem) {
  #contents main div.file.large pre {
    border-left: none;
    border-right: none;
  }
  #contents main div.file.large pre:first-child {
    border-top: none;
  }
  #contents main div.file.large pre:last-child {
    border-bottom: none;
  }
}
#contents main .tip, #contents main .note, #contents main .caution {
  border-left-style: solid;
  border-left-width: 0.25rem;
  padding: 1rem;
}
#contents main .tip *:last-child, #contents main .note *:last-child, #contents main .caution *:last-child {
  margin-bottom: 0;
}
#contents main .tip {
  border-left-color: #27ae60;
  background-color: rgb(242.8690140845, 252.2809859155, 246.8429577465);
}
#contents main .tip p:first-child::before {
  content: "TIP: ";
  font-weight: bold;
}
#contents main .note {
  border-left-color: #3498db;
  background-color: rgb(242.82, 248.82, 252.84);
}
#contents main .note p:first-child::before {
  content: "NOTE: ";
  font-weight: bold;
}
#contents main .caution {
  border-left-color: #f1c40f;
  background-color: rgb(253.6, 249.1, 231);
}
#contents main .caution p:first-child::before {
  content: "CAUTION: ";
  font-weight: bold;
}
#contents main .links a {
  font-size: 2rem;
  display: inline-block;
  margin-left: 2rem;
}
#contents main .links a:first-child {
  margin: 0;
}
@media (min-width: 60.5rem) {
  #contents main div.large {
    position: relative;
    width: 60rem;
    max-width: none;
    left: -10rem;
    border-width: 0.15rem;
    border-style: solid;
    padding: 0;
  }
  #contents main div.large pre, #contents main div.large p, #contents main div.large img, #contents main div.large div.sh {
    margin-top: 0;
    margin-bottom: 0;
    border-left: none;
    border-right: none;
  }
  #contents main div.large pre:first-child, #contents main div.large p:first-child, #contents main div.large img:first-child, #contents main div.large div.sh:first-child {
    border-top: none;
  }
  #contents main div.large pre:last-child, #contents main div.large p:last-child, #contents main div.large img:last-child, #contents main div.large div.sh:last-child {
    border-bottom: none;
  }
  #contents main div.large:has(> table) {
    border: none;
  }
}
#contents main a {
  text-decoration: underline;
  text-decoration-thickness: 0.1rem;
  font-weight: 500;
}
#contents main a:hover {
  text-decoration: none;
}
#contents main p > code, #contents main li > code, #contents main dt > code, #contents main dd > code, #contents main blockquote > code, #contents main td > code, #contents main th > code, #contents main a > code {
  font-family: "JetBrains Mono", monospace;
  font-size: 80%;
  padding: 0.1rem 0.3rem 0.1rem 0.3rem;
  background-color: rgb(238.5, 242.7, 247.2);
  border: 1px solid rgba(0, 0, 0, 0.15);
  white-space: nowrap;
  position: relative;
  top: -0.1rem;
  font-weight: 500;
}
#contents main span.ex-a,
#contents main strong {
  font-weight: bold;
}
#contents main strong.xo {
  font-family: "Atkinson Hyperlegible Mono", monospace;
}
#contents main em {
  font-style: italic;
}
#contents main sup {
  vertical-align: super;
  font-size: 50%;
}

#contents a.box {
  display: block;
  border-style: solid;
  border-width: 0.25rem;
  text-decoration: none;
  padding: 1rem;
}
#contents a.box h1 {
  margin-top: 0;
  font-size: 1.5rem;
}
#contents a.box h1 a {
  font-weight: 700;
}
#contents a.box .toc {
  display: none;
}
#contents a.box .more {
  font-style: italic;
  text-align: right;
}
#contents a.box *:last-child {
  margin-bottom: 0;
}
#contents a.box:last-child {
  margin-bottom: 0;
}
#contents a.box.eepp {
  border-color: #d91656;
  background-color: rgba(217, 22, 86, 0.02);
}
#contents a.box.eepp h1 {
  color: #d91656;
}
#contents a.box.eepp h1 a {
  color: rgb(70.6, 42, 66.8);
}
#contents a.box.eepp h1 a:hover {
  color: #d91656;
}
#contents a.box.eepp:hover {
  background-color: rgba(217, 22, 86, 0.1);
}
#contents a.box.jgalar {
  border-color: #c967ca;
  background-color: rgba(201, 103, 202, 0.02);
}
#contents a.box.jgalar h1 {
  color: #c967ca;
}
#contents a.box.jgalar h1 a {
  color: rgb(67.4, 58.2, 90);
}
#contents a.box.jgalar h1 a:hover {
  color: #c967ca;
}
#contents a.box.jgalar:hover {
  background-color: rgba(201, 103, 202, 0.1);
}
#contents a.box.simark {
  border-color: #16a6d9;
  background-color: rgba(22, 166, 217, 0.02);
}
#contents a.box.simark h1 {
  color: #16a6d9;
}
#contents a.box.simark h1 a {
  color: rgb(31.6, 70.8, 93);
}
#contents a.box.simark h1 a:hover {
  color: #16a6d9;
}
#contents a.box.simark:hover {
  background-color: rgba(22, 166, 217, 0.1);
}

@media (max-width: 46.5rem) {
  span.on-phone-only {
    display: inline;
  }
}
@media (min-width: 46.5rem) {
  span.on-phone-only {
    display: none;
  }
}

@media (max-width: 46.5rem) {
  span.on-not-phone {
    display: none;
  }
}
@media (min-width: 46.5rem) {
  span.on-not-phone {
    display: inline;
  }
}

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