@charset "UTF-8";
body {
  font-family: 'PT Sans', sans-serif;
  color: #333; }

a {
  text-decoration: none; }

a, a:hover, a:visited {
  border-bottom: 1px dotted #888;
  margin: 0 1px; }

a, a:visited {
  color: #555; }

a:hover {
  color: #333; }

hr {
  border: none;
  border-bottom: .5px solid #aaa; }

code, pre {
  font-family: 'Consolas', monospace;
  font-size: .9em;
  line-height: 1.2em;
  background-color: #f5f6f7;
  border-radius: 3px; }

*:not(pre) > code {
  padding: 0 .25em; }

.highlighttable .linenos {
  padding-right: .8em; }

.highlighttable .code {
  overflow-x: scroll; }

.container {
  margin-left: auto;
  margin-right: auto; }

.rounded {
  border-radius: .25rem !important; }

body > .container {
  max-width: 36em; }

article {
  padding: 10px 10px;
  line-height: 1.35em; }
  article p {
    margin-bottom: .5rem; }
  article h1 {
    line-height: 1em; }
  article h2 {
    font-size: 1.1rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: .05em; }
  article h3 {
    font-size: 1.0rem;
    font-weight: 700; }
  article h3::after {
    margin-left: .5em;
    content: "· · ·"; }
  article h4 {
    color: #555; }
  article img {
    max-width: 100%; }
  article .katex {
    font-size: 100%; }
  article figcaption {
    color: #888;
    font-size: .8em; }
  article pre {
    margin-bottom: 1em;
    padding: 12px;
    width: auto;
    overflow: auto; }
  article figure, article img {
    margin: auto; }
  article li + li, article li > ul, article li > ol {
    margin-top: .2em; }
  article ul, article ol {
    padding-inline-start: 2em; }

h1.title {
  display: block;
  font-family: 'DM Serif Display', serif;
  font-weight: normal;
  margin-block-end: 1em;
  margin-block-start: 1em;
  line-height: 1em;
  font-size: 2.5em; }

article.note h2 {
  margin-top: 1em;
  /* border-top: 2px solid #000; */
  padding: 4px 0;
  border-bottom: 1.5px solid #000; }

footer {
  color: #888;
  margin-top: 1.5em;
  padding-top: .5em;
  padding-bottom: 2em;
  text-align: right; }
  footer * {
    font-size: .75rem; }
  footer hr {
    width: 3em;
    border: none;
    border-bottom: .5px solid #aaa;
    margin-right: 0;
    margin-bottom: .75em; }
  footer a, footer a:visited {
    color: #888;
    border-bottom: none;
    text-decoration: underline .5px #ddd; }
  footer a:hover {
    color: #666;
    border-bottom: none;
    text-decoration: underline .5px #ddd; }
  footer .links {
    margin-block-start: .25em;
    font-size: .9em;
    line-height: .9em; }

nav {
  padding: 0 10px;
  font-size: 0.75em;
  display: inline-block;
  color: #444; }
  nav .nav-item > a,
  nav .nav-item > a:hover,
  nav .nav-item > a:visited {
    border-bottom: none;
    margin: 0; }
  nav .nav-item + .nav-item::before {
    content: " › ";
    margin: 0 2px; }

body {
  --ok-fw-0: 400;
  --ok-fw-1: 600;
  --ok-fw-2: 700;
  --ok-fw-3: 700;
  --ok-fs-0: 2.5rem;
  --ok-fs-1: 2rem;
  --ok-fs-2: 1.5rem;
  --ok-fs-3: 1.25rem;
  --ok-fs-4: 1rem;
  --ok-fs-5: 0.75rem;
  --ok-br: 0.25rem;
  --ok-s-0: 0;
  --ok-s-1: 0.25rem;
  --ok-s-2: 0.5rem;
  --ok-s-3: 1rem;
  --ok-s-4: 1.5rem;
  --ok-s-5: 2rem;
  --ok-s-6: 2.5rem;
  --ok-lh-body: 1.5;
  --ok-lh-heading: 1.25;
  --ok-t-hl: #ffcf30;
  --ok-accent-0: #3e67fa;
  --ok-accent-1: #4788ff;
  --ok-tc-accent: #3173de;
  --ok-tc-code: #c23a30;
  --ok-tc-0: #000;
  --ok-tc-1: #747474;
  --ok-tc-2: #848484;
  --ok-bg-0: #fff;
  --ok-bg-1: #f0f0f0;
  --ok-bg-2: #ccc;
  --ok-b-0: 1px solid #cbcbcb;
  --ok-b-1: 1px solid #848484; }

table {
  border-collapse: collapse;
  display: table;
  margin-left: auto;
  margin-right: auto;
  white-space: nowrap; }
  table td, table th {
    border: var(--ok-b-0) 0;
    text-align: left;
    padding: .5rem; }
  table td {
    white-space: normal; }
  table tr, table tfoot, table thead {
    border: var(--ok-b-0); }
  table thead tr, table tfoot tr {
    background-color: var(--ok-bg-1);
    font-size: var(--ok-fs-5);
    text-transform: uppercase;
    color: var(--ok-tc-0); }

.katex {
  text-transform: none; }