body {
  background-color: #282a36;
  font-family: "lato";
  color: #f8f8f2;
  margin: 0 .3rem 0 .3rem; }
  body main {
    padding: 0 .3rem 0 .3rem; }
    body main a {
      color: #8be9fd;
      text-decoration: none; }
      body main a:hover, body main a:focus {
        text-decoration: underline; }
    body main article, body main footer {
      margin: 0; }
    body main article h2, body main article p, body main article ul, body main article figure, body main article table, body main article h3, body main article blockquote, body main article pre, body main article ol {
      font-size: 1rem;
      margin: .4rem 0 .4rem 0;
      line-height: 1.5; }
    body main article h2, body main article h3 {
      border-bottom: 3px solid #44475a; }
      body main article h2:target, body main article h3:target {
        border-bottom: 3px solid #ffb86c; }
    body main article h2 {
      text-transform: uppercase; }
    body main article h3 {
      display: inline-block; }
    body main article code {
      padding: 2px;
      border-radius: 1px;
      background-color: rgba(0, 0, 0, 0.3);
      font-size: .9rem; }
    body main article blockquote {
      font-style: italic;
      background-color: rgba(0, 0, 0, 0.3);
      padding: 1rem;
      border-radius: 2px; }
    body main article ul {
      padding-left: 0; }
      body main article ul li {
        list-style-type: '~ ';
        margin-left: 2ch; }
        body main article ul li ul {
          padding-left: 2ch; }
    body main article table {
      width: 100%;
      border-collapse: collapse;
      border-bottom: 3px solid rgba(0, 0, 0, 0.3); }
      body main article table td {
        border-right: 3px solid rgba(0, 0, 0, 0.3);
        padding: 3px; }
        body main article table td:last-child {
          border-right: none; }
      body main article table tr.even {
        background-color: rgba(0, 0, 0, 0.3); }
      body main article table tr.header {
        background-color: rgba(0, 0, 0, 0.3); }
        body main article table tr.header th {
          padding: 3px;
          text-align: left; }
    body main article h1 {
      font-size: 1.3rem;
      padding: .3rem;
      font-family: lato;
      text-transform: uppercase;
      background-color: #44475a;
      text-align: center; }
    body main footer {
      text-align: justify;
      font-family: "lato";
      border-top: 3px solid #44475a;
      padding: .3rem;
      margin: 1rem 0; }
    body main nav {
      text-align: center;
      font-family: "lato";
      padding: 0 0 .3rem 0;
      margin: 0; }
      body main nav ul {
        padding: 0;
        margin: 0; }
        body main nav ul li {
          list-style-type: none;
          display: inline; }
    body main hr {
      display: none; }
  body aside#toc {
    width: 30ch;
    position: fixed;
    top: 1rem;
    left: 1rem; }
    body aside#toc > ul > li > a {
      display: none; }
    body aside#toc ul {
      padding: 0; }
      body aside#toc ul li {
        list-style-type: none; }
        body aside#toc ul li li li {
          padding-left: 1ch; }
    body aside#toc h2 {
      text-transform: uppercase;
      font-size: 1rem;
      margin: 0;
      cursor: pointer; }

body main {
  width: 75ch;
  margin: 0 auto 0 auto; }
  body main a#toc-open, body main a#toc-close {
    display: none; }

@media screen and (max-width: 130ch) {
  body main {
    width: 100%;
    padding: 0; }
    body main aside#toc + article {
      margin-top: 2.5rem; }
    body main aside#toc {
      display: none; }
    body main aside#toc:target {
      display: block;
      position: fixed;
      background-color: #44475a;
      top: 0;
      left: 0;
      width: 100%; }
      body main aside#toc:target h2 {
        display: none; }
      body main aside#toc:target ul li {
        display: inline-block;
        padding: .3rem; }
        body main aside#toc:target ul li a {
          color: #bd93f9; }
      body main aside#toc:target li > ul > li > ul > li > a {
        color: #8be9fd; }
    body main a#toc-open, body main a#toc-close {
      padding: .5rem;
      display: block;
      width: 100%;
      text-align: center;
      background-color: #44475a;
      color: #f8f8f2; }
    body main a#toc-open {
      position: fixed;
      top: 0;
      left: 0; }
    body main a#toc-close {
      font-weight: bold; }
    body main article {
      display: block;
      max-width: 70ch; } }

@font-face {
  src: url("la_re.woff2");
  font-family: "lato";
  font-weight: normal; }

@font-face {
  src: url("la_b.woff2");
  font-family: "lato";
  font-weight: bold; }

@font-face {
  src: url("la_it.woff2");
  font-family: "lato";
  font-style: italic; }