* {
   font-family: "JetBrains Mono", monospace;
   font-optical-sizing: auto;
   font-weight: 400;
   font-style: normal;
}

.jb-italics {
   font-family: "JetBrains Mono", monospace;
   font-optical-sizing: auto;
   font-weight: 400;
   font-style: italic;
}

.pointer {
   cursor: pointer;
}

.NavButton {
   cursor: pointer;
}

.NavButton:hover {
   background-color: var(--bs-btn-hover-bg);
}

pre {
   overflow: unset !important;
   background-color: var(--bs-dark-bg-subtle);
   padding: 1rem;
   white-space: pre-line;
}