/* Museo, a touch over the top for titles */
@font-face {
  font-family: "Museo";
  src: local("Museo Light"), url("/assets/fonts/Museo300-Regular-webfont.woff2");
  font-weight: 300;
  font-style: normal;
}
/* Fira Code, resplendant in its ligatures */
@font-face {
  font-family: "Fira Code";
  src: url("/assets/fonts/fira/code/FiraCode-Light.woff2") format("woff2"), url("/assets/fonts/fira/code/FiraCode-Light.woff") format("woff");
  font-weight: 300;
  font-style: normal;
}
@font-face {
  font-family: "Fira Code";
  src: url("/assets/fonts/fira/code/FiraCode-Regular.woff2") format("woff2"), url("/assets/fonts/fira/code/FiraCode-Regular.woff") format("woff");
  font-weight: 400;
  font-style: normal;
}
@font-face {
  font-family: "Fira Code";
  src: url("/assets/fonts/fira/code/FiraCode-Medium.woff2") format("woff2"), url("/assets/fonts/fira/code/FiraCode-Medium.woff") format("woff");
  font-weight: 500;
  font-style: normal;
}
@font-face {
  font-family: "Fira Code";
  src: url("/assets/fonts/fira/code/FiraCode-SemiBold.woff2") format("woff2"), url("/assets/fonts/fira/code/FiraCode-SemiBold.woff") format("woff");
  font-weight: 600;
  font-style: normal;
}
@font-face {
  font-family: "Fira Code";
  src: url("/assets/fonts/fira/code/FiraCode-Bold.woff2") format("woff2"), url("/assets/fonts/fira/code/FiraCode-Bold.woff") format("woff");
  font-weight: 700;
  font-style: normal;
}
@font-face {
  font-family: "Fira Code VF";
  src: url("/assets/fonts/fira/code/FiraCode-VF.woff2") format("woff2-variations"), url("/assets/fonts/fira/code/FiraCode-VF.woff") format("woff-variations");
  /* font-weight requires a range: https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Fonts/Variable_Fonts_Guide#Using_a_variable_font_font-face_changes */
  font-weight: 300 700;
  font-style: normal;
}
/* Fira Sans, for readable yet still fun body text */
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-Hair.eot");
  src: local("Fira Sans Hair"), url("/assets/fonts/fira/sans/FiraSans-Hair.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-Hair.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-Hair.ttf") format("truetype");
  font-weight: 100;
  font-style: normal;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-HairItalic.eot");
  src: local("Fira Sans Hair Italic"), url("/assets/fonts/fira/sans/FiraSans-HairItalic.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-HairItalic.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-HairItalic.ttf") format("truetype");
  font-weight: 100;
  font-style: italic;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-UltraLight.eot");
  src: local("Fira Sans UltraLight"), url("/assets/fonts/fira/sans/FiraSans-UltraLight.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-UltraLight.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-UltraLight.ttf") format("truetype");
  font-weight: 200;
  font-style: normal;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-UltraLightItalic.eot");
  src: local("Fira Sans UltraLight Italic"), url("/assets/fonts/fira/sans/FiraSans-UltraLightItalic.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-UltraLightItalic.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-UltraLightItalic.ttf") format("truetype");
  font-weight: 200;
  font-style: italic;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-Light.eot");
  src: local("Fira Sans Light"), url("/assets/fonts/fira/sans/FiraSans-Light.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-Light.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-Light.ttf") format("truetype");
  font-weight: 300;
  font-style: normal;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-LightItalic.eot");
  src: local("Fira Sans Light Italic"), url("/assets/fonts/fira/sans/FiraSans-LightItalic.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-LightItalic.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-LightItalic.ttf") format("truetype");
  font-weight: 300;
  font-style: italic;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-Regular.eot");
  src: local("Fira Sans Regular"), url("/assets/fonts/fira/sans/FiraSans-Regular.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-Regular.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-Regular.ttf") format("truetype");
  font-weight: 400;
  font-style: normal;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-Italic.eot");
  src: local("Fira Sans Regular Italic"), url("/assets/fonts/fira/sans/FiraSans-Italic.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-Italic.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-Italic.ttf") format("truetype");
  font-weight: 400;
  font-style: italic;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-Medium.eot");
  src: local("Fira Sans Medium"), url("/assets/fonts/fira/sans/FiraSans-Medium.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-Medium.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-Medium.ttf") format("truetype");
  font-weight: 500;
  font-style: normal;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-MediumItalic.eot");
  src: local("Fira Sans Medium Italic"), url("/assets/fonts/fira/sans/FiraSans-MediumItalic.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-MediumItalic.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-MediumItalic.ttf") format("truetype");
  font-weight: 500;
  font-style: italic;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-SemiBold.eot");
  src: local("Fira Sans SemiBold"), url("/assets/fonts/fira/sans/FiraSans-SemiBold.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-SemiBold.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-SemiBold.ttf") format("truetype");
  font-weight: 600;
  font-style: normal;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-SemiBoldItalic.eot");
  src: local("Fira Sans SemiBold Italic"), url("/assets/fonts/fira/sans/FiraSans-SemiBoldItalic.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-SemiBoldItalic.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-SemiBoldItalic.ttf") format("truetype");
  font-weight: 600;
  font-style: italic;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-Bold.eot");
  src: local("Fira Sans Bold"), url("/assets/fonts/fira/sans/FiraSans-Bold.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-Bold.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-Bold.ttf") format("truetype");
  font-weight: 700;
  font-style: normal;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-BoldItalic.eot");
  src: local("Fira Sans Bold Italic"), url("/assets/fonts/fira/sans/FiraSans-BoldItalic.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-BoldItalic.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-BoldItalic.ttf") format("truetype");
  font-weight: 700;
  font-style: italic;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-ExtraBold.eot");
  src: local("Fira Sans ExtraBold"), url("/assets/fonts/fira/sans/FiraSans-ExtraBold.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-ExtraBold.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-ExtraBold.ttf") format("truetype");
  font-weight: 800;
  font-style: normal;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-ExtraBoldItalic.eot");
  src: local("Fira Sans ExtraBold Italic"), url("/assets/fonts/fira/sans/FiraSans-ExtraBoldItalic.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-ExtraBoldItalic.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-ExtraBoldItalic.ttf") format("truetype");
  font-weight: 800;
  font-style: italic;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-Heavy.eot");
  src: local("Fira Sans Heavy"), url("/assets/fonts/fira/sans/FiraSans-Heavy.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-Heavy.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-Heavy.ttf") format("truetype");
  font-weight: 900;
  font-style: normal;
}
@font-face {
  font-family: "Fira Sans";
  src: url("/assets/fonts/fira/sans/FiraSans-HeavyItalic.eot");
  src: local("Fira Sans Heavy Italic"), url("/assets/fonts/fira/sans/FiraSans-HeavyItalic.eot") format("embedded-opentype"), url("/assets/fonts/fira/sans/FiraSans-HeavyItalic.woff") format("woff"), url("/assets/fonts/fira/sans/FiraSans-HeavyItalic.ttf") format("truetype");
  font-weight: 900;
  font-style: italic;
}
@font-face {
  font-family: "Fira Mono";
  src: url("/assets/fonts/fira/mono/FiraMono-Regular.eot");
  src: local("Fira Mono"), url("/assets/fonts/fira/mono/FiraMono-Regular.eot") format("embedded-opentype"), url("/assets/fonts/fira/mono/FiraMono-Regular.woff") format("woff"), url("/assets/fonts/fira/mono/FiraMono-Regular.ttf") format("truetype");
  font-weight: 400;
  font-style: normal;
}
@font-face {
  font-family: "Fira Mono";
  src: url("/assets/fonts/fira/mono/FiraMono-Bold.eot");
  src: local("Fira Mono Bold"), url("/assets/fonts/fira/mono/FiraMono-Bold.eot") format("embedded-opentype"), url("/assets/fonts/fira/mono/FiraMono-Bold.woff") format("woff"), url("/assets/fonts/fira/mono/FiraMono-Bold.ttf") format("truetype");
  font-weight: 600;
  font-style: normal;
}
/**
 * Basic styling
 */
body {
  font: 300 16px/1.5 "Fira Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  font-variant-numeric: oldstyle-nums;
  color: #111;
  background-color: #fdfdfd;
  -webkit-text-size-adjust: 100%;
  -webkit-font-feature-settings: "kern" 1;
  -moz-font-feature-settings: "kern" 1;
  -o-font-feature-settings: "kern" 1;
  font-feature-settings: "kern" 1;
  font-kerning: normal;
  display: flex;
  min-height: 100vh;
  flex-direction: column;
}

.ordinal {
  font-variant-numeric: ordinal;
}

/**
 * Set `margin-bottom` to maintain vertical rhythm
 */
h1, h2, h3, h4, h5, h6,
p, blockquote, pre, .card,
ul, ol, dl, figure {
  margin-bottom: 15px;
}

/**
 * `main` element
 */
main {
  display: block; /* Default value of `display` of `main` element is 'inline' in IE 11. */
}

/**
 * Headings
 */
h1, h2, h3, h4, h5, h6 {
  font-family: Museo;
  font-weight: 300;
}

.anchorjs-link {
  transition: all 0.25s ease-in-out;
}

*:hover > .anchorjs-link {
  margin-left: -1.375em !important;
}

/**
 * Clearfix
 */
.footer:after {
  content: "";
  display: table;
  clear: both;
}

/**
 * Tables
 */
table {
  font-variant-numeric: tabular-nums slashed-zero;
  margin-bottom: 30px;
  width: 100%;
  text-align: left;
  color: #3f3f3f;
  border-collapse: collapse;
  border: 1px solid #e8e8e8;
}
table tr:nth-child(even) {
  background-color: #f7f7f7;
}
table th, table td {
  padding: 10px 15px;
}
table th {
  background-color: #f0f0f0;
  border: 1px solid #dedede;
  border-bottom-color: #c9c9c9;
}
table td {
  border: 1px solid #e8e8e8;
}

img {
  max-width: 100%; /* Constrains the image to container's width */
  height: auto; /* Maintains the image's aspect ratio */
  border-radius: 0.375rem;
}

/**
 * Icons
 */
.cc-icon {
  width: 16px;
  height: 16px;
  fill: #828282;
  display: inline-block;
}

.social-svg-icon {
  width: 16px;
  height: 16px;
  display: inline-block;
  fill: #828282;
  vertical-align: text-top;
}

/**
 * Links
 */
a {
  color: #2a7ae2;
  text-decoration: none;
}
a:visited {
  color: #1756a9;
}
a:hover {
  color: #111;
  text-decoration: underline;
}
a.external {
  background-image: url("/assets/img/icons8-external-link.svg");
  background-position-x: right;
  background-position-y: center;
  background-size: 0.9em;
  padding-right: 0.95em;
  background-repeat: no-repeat;
}

/**
 * Blockquotes
 */
blockquote {
  padding: 1rem;
  margin-top: 1rem;
  margin-bottom: 1rem;
  border-radius: 0.375rem;
  background-color: #f7f7f7;
  color: #4f4f4f;
  border-left: 0.25rem solid #ccccff;
}
blockquote :last-child {
  margin-bottom: 0;
}
blockquote :first-child {
  margin-top: 0;
}

blockquote blockquote {
  border-left-color: #4dff4d;
  padding: 0rem 1rem;
}

blockquote blockquote blockquote {
  border-left-color: #666666;
}

cite {
  display: block;
  text-align: right;
  color: #b5b5b5;
  font-style: italic;
}

.date-right {
  display: inline;
  float: right;
  color: #b5b5b5;
  font-style: italic;
}

/**
 * Graphviz diagrams
 */
svg.graphviz {
  font-variant-numeric: tabular-nums slashed-zero;
  margin-bottom: 15px;
  padding: 16px;
  overflow: auto;
  border-radius: 0.5rem;
  border: 1px solid #e8e8e8;
  background-color: white;
  display: block;
  margin-left: auto;
  margin-right: auto;
}

/**
 * Code formatting
 */
@supports (font-variation-settings: normal) {
  code {
    font-family: "Fira Code VF", monospace;
  }
}
pre,
code {
  font-family: "Fira Code", monospace;
  border: 1px solid #e8e8e8;
}

code,
tt {
  padding: 0.1em 0.2em;
  margin: 0;
  background-color: rgba(175, 184, 193, 0.2);
  border-radius: 0.25em;
}

code br,
tt br {
  display: none;
}

del code {
  text-decoration: inherit;
}

.highlight {
  margin-bottom: 15px;
  max-height: 80vh;
}

.highlight pre {
  margin-bottom: 0;
  word-break: normal;
}

.highlight pre,
pre {
  padding: 16px;
  overflow: auto;
  font-size: 12.8px;
  font-variant-numeric: slashed-zero;
  line-height: 1.45;
  border-radius: 0.5rem;
}
.highlight pre > code,
pre > code {
  padding: 0;
  margin: 0;
  word-break: normal;
  white-space: pre;
  background: transparent;
  border: 0;
}

.list-group-item .highlight {
  margin-bottom: 0;
  background: transparent;
}

.list-group-item .highlight pre {
  border-width: 0;
  padding: 0;
  border: 0;
}

pre code,
pre tt {
  display: inline;
  max-width: auto;
  padding: 0;
  margin: 0;
  overflow: visible;
  line-height: inherit;
  word-wrap: normal;
  background-color: transparent;
  border: 0;
}

/*
 * Footnotes
 */
.footnote-container {
  font-size: 12.8px;
  position: sticky;
  top: 0;
  color: #828282;
}
.footnote-container ol li {
  padding-right: 10px;
}
.footnote-container ol li p {
  margin-bottom: 1em;
}

.footnote {
  text-decoration: none;
}

.reversefootnote {
  visibility: hidden;
  text-decoration: none;
}

.popover {
  font: inherit;
  font-size: 0.9em;
}

.popover-body {
  color: #424242;
  padding: 1em;
}
.popover-body > :last-child {
  margin-bottom: 0;
}

/*
 * Abbreviations
 */
abbr[data-content] {
  -webkit-text-decoration: underline dotted;
  text-decoration: underline dotted;
  cursor: help;
  -webkit-text-decoration-skip-ink: none;
  text-decoration-skip-ink: none;
}

/*
 * Miscellaneous
 */
.placeholder-text {
  color: #6c757d;
}

::placeholder {
  color: #6c757d;
}

/*
 * Copyable content
 */
.copyable {
  position: relative;
}
.copyable .copy-button {
  position: absolute;
  top: 0.75em;
  right: 0.75em;
}

.copyable .btn-outline-secondary:not(:hover) {
  background: #ffffff;
}

.highlight .copy-button {
  transition: visibility 0s, opacity 0.2s linear;
  opacity: 0;
}

.highlight:hover .copy-button {
  opacity: 1;
}

.copyable.form-group {
  display: flex;
  align-items: center; /* Vertically */
}
.copyable.form-group .copy-button {
  position: static;
  flex-shrink: 0;
  margin-left: 10px;
}

.imessage {
  /* Reply message bubble */
  /* Timestamp styling */
}
.imessage .message-container {
  display: flex;
  justify-content: flex-end; /* Align to right */
  margin: 10px;
  /* Sent message bubble */
}
.imessage .message-container .bubble {
  max-width: 60%;
  padding: 10px 15px;
  background-color: #007aff;
  color: white;
  border-radius: 20px;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  font-size: 16px;
  line-height: 1.4;
  position: relative;
}
.imessage .message-container .bubble ::after {
  content: "";
  position: absolute;
  bottom: 0;
  right: -8px; /* Adjust the position of the "tail" */
  width: 0;
  height: 0;
  border: 8px solid transparent;
  border-left-color: #007aff;
  border-right: 0;
  border-bottom: 0;
  margin-top: -4px;
}
.imessage .reply-container {
  display: flex;
  justify-content: flex-start; /* Align to left */
  margin: 10px;
}
.imessage .reply-container .bubble {
  max-width: 60%;
  padding: 10px 15px;
  background-color: #e5e5ea;
  color: black;
  border-radius: 20px;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  font-size: 16px;
  line-height: 1.4;
  position: relative;
}
.imessage .reply-container .bubble ::after {
  content: "";
  position: absolute;
  bottom: 0;
  left: -8px; /* Adjust the position of the "tail" */
  width: 0;
  height: 0;
  border: 8px solid transparent;
  border-right-color: #e5e5ea;
  border-left: 0;
  border-bottom: 0;
  margin-top: -4px;
}
.imessage .timestamp {
  display: flex;
  justify-content: center;
  font-size: 12px;
  color: #8e8e93; /* Gray color for timestamp */
  margin: 10px 0;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}

.search-container {
  width: 100%;
  position: relative;
  display: inline-block;
}
.search-container input.search {
  width: 100%;
  padding: 0.5rem;
  margin: 1rem 0;
  border: 1px solid #e8e8e8;
  border-radius: 1.5rem;
  font-size: 1rem;
  line-height: 1.5;
  background-image: url('data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" fill="grey" class="bi bi-search" viewBox="0 0 16 16"><path d="M11.742 10.344a6.5 6.5 0 1 0-1.397 1.398h-.001c.03.04.062.078.098.115l3.85 3.85a1 1 0 0 0 1.415-1.414l-3.85-3.85a1.007 1.007 0 0 0-.115-.1zM12 6.5a5.5 5.5 0 1 1-11 0 5.5 5.5 0 0 1 11 0z"/></svg>');
  background-repeat: no-repeat;
  background-position: 13px center;
  background-size: 16px 16px;
  padding-left: 36px;
}
.search-container button.clear-btn {
  position: absolute;
  top: 50%;
  right: 4px;
  transform: translateY(-50%);
  background: none;
  border: none;
  cursor: pointer;
  display: none; /* Hide the button by default */
}

nav.navbar {
  border-bottom: 1px solid #e8e8e8;
}

.navbar-brand {
  font-size: 26px;
  font-weight: 300;
  padding: 0;
}
.navbar-brand, .navbar-brand:visited {
  color: #424242;
}

.footer {
  border-top: 1px solid #e8e8e8;
  padding-top: 10px;
  padding-bottom: 10px;
  font-size: 15px;
  color: #828282;
}

/**
 * Page content
 */
.page-content {
  padding-top: 15px;
  flex: 1;
}

.page-heading {
  font-size: 32px;
}

.post-list-heading {
  font-size: 28px;
}

.post-list {
  margin-left: 0;
  list-style: none;
}
.post-list > li {
  margin-bottom: 30px;
}

.post-meta {
  font-variant-numeric: oldstyle-nums;
  -moz-font-feature-settings: "onum";
  -webkit-font-feature-settings: "onum";
  font-feature-settings: "onum";
  font-size: 12.8px;
  color: #828282;
  text-align: right;
  margin-bottom: 0;
}

.post-link {
  margin-bottom: 0em;
  font-size: 24px;
}

/**
 * Posts
 */
.post {
  margin-bottom: 15px;
}

.post-header {
  margin-bottom: 30px;
}

.post-title {
  font-size: 42px;
  line-height: 1;
}
@media screen and (max-width: 800px) {
  .post-title {
    font-size: 36px;
  }
}

.post-content h2 {
  font-size: 32px;
}
@media screen and (max-width: 800px) {
  .post-content h2 {
    font-size: 28px;
  }
}
.post-content h3 {
  font-size: 26px;
}
@media screen and (max-width: 800px) {
  .post-content h3 {
    font-size: 22px;
  }
}
.post-content h4 {
  font-size: 20px;
}
@media screen and (max-width: 800px) {
  .post-content h4 {
    font-size: 18px;
  }
}

/*
 * This stylesheet is derived from the Tomorrow Theme,
 * originally released under the MIT license in 2011 by Chris Kempson
 */
pre {
  line-height: 125%;
}

td.linenos .normal {
  color: inherit;
  background-color: transparent;
  padding-left: 5px;
  padding-right: 5px;
}

span.linenos {
  color: inherit;
  background-color: transparent;
  padding-left: 5px;
  padding-right: 5px;
}

td.linenos .special {
  color: #000000;
  background-color: #ffffc0;
  padding-left: 5px;
  padding-right: 5px;
}

span.linenos.special {
  color: #000000;
  background-color: #ffffc0;
  padding-left: 5px;
  padding-right: 5px;
}

.highlight {
  background: #FFFFFF;
  color: #929292;
}

.highlight .hll {
  background-color: #EFEFEF;
}

.highlight .c {
  color: #57B550;
  font-style: italic;
} /* Comment */
.highlight .err {
  background: #C82829;
  color: #FFFFFF;
} /* Error */
.highlight .k {
  color: #8959A8;
} /* Keyword */
.highlight .l {
  color: #F5871F;
} /* Literal */
.highlight .n {
  color: #929292;
} /* Name */
.highlight .o {
  color: #545454;
} /* Operator */
.highlight .p {
  color: #B9B9B9;
} /* Punctuation */
.highlight .ch {
  color: #77A570;
} /* Comment.Hashbang */
.highlight .cm {
  color: #57B550;
} /* Comment.Multiline */
.highlight .cp {
  color: #A28265;
} /* Comment.Preproc */
.highlight .cpf {
  color: #57B550;
} /* Comment.PreprocFile */
.highlight .c1 {
  color: #57B550;
  font-style: italic;
} /* Comment.Single */
.highlight .cs {
  color: #57B550;
  font-style: italic;
} /* Comment.Special */
.highlight .gd {
  color: #C82829;
} /* Generic.Deleted */
.highlight .ge {
  font-style: italic;
} /* Generic.Emph */
.highlight .gh {
  color: #545454;
  font-weight: bold;
} /* Generic.Heading */
.highlight .gi {
  color: #718C00;
} /* Generic.Inserted */
.highlight .gp {
  color: #718C00;
  font-weight: bold;
} /* Generic.Prompt */
.highlight .gs {
  font-weight: bold;
} /* Generic.Strong */
.highlight .gu {
  color: #3E999F;
  font-weight: bold;
} /* Generic.Subheading */
.highlight .kc {
  color: #8959A8;
} /* Keyword.Constant */
.highlight .kd {
  color: #8959A8;
} /* Keyword.Declaration */
.highlight .kn {
  color: #3E999F;
} /* Keyword.Namespace */
.highlight .kp {
  color: #4271AE;
} /* Keyword.Pseudo */
.highlight .kr {
  color: #8959A8;
} /* Keyword.Reserved */
.highlight .kt {
  color: #EAB700;
} /* Keyword.Type */
.highlight .ld {
  color: #718C00;
} /* Literal.Date */
.highlight .m {
  color: #F5871F;
} /* Literal.Number */
.highlight .s {
  color: #718C00;
} /* Literal.String */
.highlight .na {
  color: #4271AE;
} /* Name.Attribute */
.highlight .nb {
  color: #4271AE;
} /* Name.Builtin */
.highlight .nc {
  color: #EAB700;
} /* Name.Class */
.highlight .no {
  color: #EAB700;
} /* Name.Constant */
.highlight .nd {
  color: #3E999F;
} /* Name.Decorator */
.highlight .ni {
  color: #545454;
} /* Name.Entity */
.highlight .ne {
  color: #C82829;
} /* Name.Exception */
.highlight .nf {
  color: #4271AE;
} /* Name.Function */
.highlight .nl {
  color: #545454;
} /* Name.Label */
.highlight .nn {
  color: #EAB700;
} /* Name.Namespace */
.highlight .nx {
  color: #4271AE;
} /* Name.Other */
.highlight .py {
  color: #545454;
} /* Name.Property */
.highlight .nt {
  color: #3E999F;
} /* Name.Tag */
.highlight .nv {
  color: #C82829;
} /* Name.Variable */
.highlight .ow {
  color: #3E999F;
} /* Operator.Word */
.highlight .w {
  color: #545454;
} /* Text.Whitespace */
.highlight .mb {
  color: #F5871F;
} /* Literal.Number.Bin */
.highlight .mf {
  color: #F5871F;
} /* Literal.Number.Float */
.highlight .mh {
  color: #F5871F;
} /* Literal.Number.Hex */
.highlight .mi {
  color: #F5871F;
} /* Literal.Number.Integer */
.highlight .mo {
  color: #F5871F;
} /* Literal.Number.Oct */
.highlight .sa {
  color: #C41A16;
} /* Literal.String.Affix */
.highlight .sb {
  color: #718C00;
} /* Literal.String.Backtick */
.highlight .sc {
  color: #545454;
} /* Literal.String.Char */
.highlight .dl {
  color: #C41A16;
} /* Literal.String.Delimiter */
.highlight .sd {
  color: #929292;
} /* Literal.String.Doc */
.highlight .s2 {
  color: #718C00;
} /* Literal.String.Double */
.highlight .se {
  color: #F5871F;
} /* Literal.String.Escape */
.highlight .sh {
  color: #718C00;
} /* Literal.String.Heredoc */
.highlight .si {
  color: #F5871F;
} /* Literal.String.Interpol */
.highlight .sx {
  color: #718C00;
} /* Literal.String.Other */
.highlight .sr {
  color: #718C00;
} /* Literal.String.Regex */
.highlight .s1 {
  color: #718C00;
} /* Literal.String.Single */
.highlight .ss {
  color: #718C00;
} /* Literal.String.Symbol */
.highlight .bp {
  color: #545454;
} /* Name.Builtin.Pseudo */
.highlight .fm {
  color: #333333;
} /* Name.Function.Magic */
.highlight .vc {
  color: #C82829;
} /* Name.Variable.Class */
.highlight .vg {
  color: #C82829;
} /* Name.Variable.Global */
.highlight .vi {
  color: #C82829;
} /* Name.Variable.Instance */
.highlight .vm {
  color: #333333;
} /* Name.Variable.Magic */
.highlight .il {
  color: #F5871F;
} /* Literal.Number.Integer.Long */
.bd-callout {
  padding: 1.25rem;
  margin-top: 1.25rem;
  margin-bottom: 1.25rem;
  border-radius: 0.375rem;
  background-color: white;
  border: 0.125rem solid #6c757d;
}
.bd-callout :last-child {
  margin-bottom: 0;
}
.bd-callout h4 {
  color: #6c757d;
}

.bd-callout + .bd-callout {
  margin-top: -0.25rem;
}

.bd-callout-info {
  border-color: #5bc0de;
}
.bd-callout-info h4 {
  color: #5bc0de;
}

.bd-callout-warning {
  border-color: #f0ad4e;
}
.bd-callout-warning h4 {
  color: #f0ad4e;
}

.bd-callout-danger {
  border-color: #d9534f;
}
.bd-callout-danger h4 {
  color: #d9534f;
}

.bd-callout-primary {
  border-color: #007bff;
}
.bd-callout-primary h4 {
  color: #007bff;
}

.bd-callout-success {
  border-color: #28a745;
}
.bd-callout-success h4 {
  color: #28a745;
}

.symbols {
  max-width: 1200px;
  margin: 0 auto;
  display: grid;
  gap: 1rem;
  grid-template-columns: repeat(auto-fit, 125px);
}

.symbol {
  background-color: transparent;
  border: 1.5px solid #e8e8e8;
  border-radius: 0.25em;
  padding: 1rem;
  font-size: 6rem;
  font-family: system-ui;
  text-align: center;
  line-height: 100%;
  height: 125px;
  width: 125px;
  display: flex;
  justify-content: center;
  align-items: center;
  cursor: pointer;
  transition: background 200ms linear;
}

.symbol:hover {
  background: #fff;
}

.symbol-clicked {
  font-size: 2rem;
  background-color: #f4f8fe;
  border: 1px dashed #555;
  border-radius: 10%;
  padding: 1rem;
  aspect-ratio: 1;
  text-align: center;
  line-height: 100%;
  min-height: 125px;
  display: flex;
  justify-content: center;
  align-items: center;
  cursor: pointer;
  transition: background 200ms linear;
}

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