@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/Inter-Regular.woff");
}

@font-face {
  font-family: "Inter";
  font-weight: 600;
  font-display: swap;
  src: url("fonts/Inter-SemiBold.otf");
}

@font-face {
  font-family: "Inter";
  font-weight: 700;
  font-display: swap;
  src: url("fonts/Inter-Bold.otf");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/JetBrainsMono-Regular.ttf");
}

@font-face {
  font-family: "JetBrains Mono";
  font-weight: 600;
  font-display: swap;
  src: url("fonts/JetBrainsMono-SemiBold.ttf");
}

@font-face {
  font-family: "JetBrains Mono";
  font-weight: 700;
  font-display: swap;
  src: url("fonts/JetBrainsMono-Bold.ttf");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/JetBrainsMono-Italic.ttf");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: italic;
  font-weight: 600;
  font-display: swap;
  src: url("fonts/JetBrainsMono-SemiBoldItalic.ttf");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url("fonts/JetBrainsMono-BoldItalic.ttf");
}

:root {
  --font-family-sans-serif: Inter, sans-serif;
  --font-family-monospace: monospace;
  --font-weight-normal: 400;
  --font-weight-medium: 600;
  --font-weight-bold: 700;
  --font-size-tiny: 0.75rem;
  --font-size-small: 0.875rem;
  --font-size-regular: 1rem;
  --font-size-medium: 1.25rem;
  --font-size-large: 1.75rem;
  --font-size-huge: 2rem;
}

[data-codefont="system"] {
  --font-family-monospace: monospace;
}

[data-codefont="jetbrains"] {
  --font-family-monospace: "JetBrains Mono";
}

html {
  -ms-text-size-adjust: 100%;
  -webkit-font-smoothing: antialiased;
  -webkit-text-size-adjust: 100%;
  font-family: var(--font-family-sans-serif);
  font-feature-settings: "ss01", "ss02", "cv01", "cv03";
  /* The root element font size has to be set in px,
   * otherwise Safari breaks. */
  font-size: 16px;
  font-weight: var(--font-weight-normal);
  line-height: 1.5;
}

p {
  margin: 1rem 0;
}
.txt-highlight {
  color: var(--color-secondary);
}

.txt-tiny {
  font-size: var(--font-size-tiny);
}
.txt-small {
  font-size: var(--font-size-small);
}
.txt-regular {
  font-size: var(--font-size-regular);
}
.txt-medium {
  font-size: var(--font-size-medium);
}
.txt-large {
  font-size: var(--font-size-large);
}
.txt-huge {
  font-size: var(--font-size-huge);
}

.txt-monospace {
  font-family: var(--font-family-monospace);
}
.txt-bold {
  font-weight: var(--font-weight-bold) !important;
}
.txt-missing {
  color: var(--color-foreground-5);
  font-style: italic;
}
.txt-faded {
  color: var(--color-foreground-5);
}
.txt-title {
  font-size: var(--font-size-large);
  font-weight: var(--font-weight-normal);
  color: var(--color-secondary);
  text-align: left;
  text-overflow: ellipsis;
  overflow-x: hidden;
}
.txt-link {
  color: var(--color-foreground-6);
  text-decoration: none;
  border-bottom: 1px dashed var(--color-foreground-5);
}
.txt-link:hover {
  color: var(--color-foreground);
  border-bottom-color: var(--color-foreground);
}
.txt-emoji {
  height: 1em;
  width: 1em;
  margin: 0 0.05em 0 0.1em;
  vertical-align: -0.1em;
}