@font-face {
  font-family: 'Fira Sans';
  src: url('./FiraSans.ttf') format('truetype');
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'Fira Code';
  src: url('./FiraCode.ttf') format('truetype');
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}

body {
  font-family: 'Fira Sans', 'IBM Plex Sans', Roboto, Arial, Helvetica, sans-serif;
}

html {
  color: #cccccc;
  background-color: #1f1f1f;
}

.navbar {
    display: flex;
    justify-content: space-between;
    padding: 10px 20px;
    border-bottom: 1px solid #e0e0e0;
}
.footer {
    display: flex;
    justify-content: space-between;
    padding: 10px 10px;
}

body {
  margin: 0 auto;
  max-width: 42em;
  padding-left: 50px;
  padding-right: 50px;
  padding-top: 50px;
  padding-bottom: 50px;
  hyphens: auto;
  overflow-wrap: break-word;
  text-rendering: optimizeLegibility;
  font-kerning: normal;
  background-color: #232323;
  color: #cccccc;
  font-size: 1.1em;
}

@media (max-width: 600px) {
  body {
    font-size: 0.9em;
    padding: 12px;
  }

  h1 {
    font-size: 1.8em;
  }
}

@media print {
  html {
    background-color: white;
  }

  body {
    background-color: transparent;
    color: black;
    font-size: 12pt;
  }

  p,
  h2,
  h3 {
    orphans: 3;
    widows: 3;
  }

  h2,
  h3,
  h4 {
    page-break-after: avoid;
  }
}

p {
  margin: 1em 0;
  color: #cccccc;
}

a {
  color: #80bfff;
}

a:visited {
  color: #b3b3ff;
}

img {
  max-width: 100%;
}

svg {
  height: auto;
  max-width: 100%;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  margin-top: 1.4em;
  color: #e6e6e6;
}

h5,
h6 {
  font-size: 1em;
  font-style: italic;
}

h6 {
  font-weight: normal;
}

ol,
ul {
  padding-left: 1.7em;
  margin-top: 1em;
  color: #cccccc;
}

li>ol,
li>ul {
  margin-top: 0;
}

blockquote {
  margin: 1em 0 1em 1.7em;
  padding-left: 1em;
  border-left: 2px solid #444444;
  color: #a0a0a0;
  background-color: #222;
}

code {
  font-family: 'Fira Code', Menlo, Monaco, Consolas, 'Lucida Console', monospace;
  font-size: 85%;
  margin: 0;
  hyphens: manual;
  background-color: #222;
  color: #ffecb3;
}

pre {
  margin: 1em 0;
  overflow: auto;
  background-color: #222;
  color: #ffecb3;
  border-radius: 4px;
  padding: 1em;
}

pre code {
  padding: 0;
  overflow: visible;
  overflow-wrap: normal;
  background: none;
  color: inherit;
}

.sourceCode {
  background-color: transparent;
  overflow: visible;
}

hr {
  background-color: #444444;
  border: none;
  height: 1px;
  margin: 1em 0;
}

table {
  margin: 1em 0;
  border-collapse: collapse;
  width: 100%;
  overflow-x: auto;
  display: block;
  font-variant-numeric: lining-nums tabular-nums;
  background-color: #232323;
  color: #cccccc;
}

table caption {
  margin-bottom: 0.75em;
  color: #b3b3b3;
}

tbody {
  margin-top: 0.5em;
  border-top: 1px solid #444444;
  border-bottom: 1px solid #444444;
}

th {
  border-top: 1px solid #444444;
  padding: 0.25em 0.5em 0.25em 0.5em;
  background-color: #222;
  color: #e6e6e6;
}

td {
  padding: 0.125em 0.5em 0.25em 0.5em;
  background-color: #232323;
  color: #cccccc;
}

header {
  margin-bottom: 4em;
  text-align: center;
  color: #e6e6e6;
}

#TOC li {
  list-style: none;
  color: #cccccc;
}

#TOC ul {
  padding-left: 1.3em;
}

#TOC>ul {
  padding-left: 0;
}

#TOC a:not(:hover) {
  text-decoration: none;
  color: #80bfff;
}

code {
  white-space: pre-wrap;
}

span.smallcaps {
  font-variant: small-caps;
  color: #cccccc;
}

div.columns {
  display: flex;
  gap: min(4vw, 1.5em);
}

div.column {
  flex: auto;
  overflow-x: auto;
}

div.hanging-indent {
  margin-left: 1.5em;
  text-indent: -1.5em;
}

ul.task-list[class] {
  list-style: none;
}

ul.task-list li input[type="checkbox"] {
  font-size: inherit;
  width: 0.8em;
  margin: 0 0.8em 0.2em -1.6em;
  vertical-align: middle;
}

.display.math {
  display: block;
  text-align: center;
  margin: 0.5rem auto;
  color: #cccccc;
}