@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url('/static/fonts/Inter-Regular.ttf') format('truetype');
}
@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 700;
    font-display: swap;
    src: url('/static/fonts/Inter-Bold.ttf') format('truetype');
}
@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 800;
    font-display: swap;
    src: url('/static/fonts/Inter-Black.ttf') format('truetype');
}

:root {
    --text-color: #010101;
    --stable-color: #747474;
    --brand-color: #F41D92;
    --light-color: #f2f2f2;
    --bg-color: #FDFDFD;
    --bg-color-rgb: 253, 253, 253;
    --highlight-color: yellow;
    --content-width: 54rem;
    --line-height: 1.5;
    --line-height-tight: 1.1;
    --negative: #D30101;
    --positive: #51950F;

    --serif-font: Palatino, Garamond, Bookman, "Avant Garde", serif;
    --sans-serif-font: Inter, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif;
}

body, html {
	font-size: 1em;
	line-height: var(--line-height);
	font-family: var(--sans-serif-font);
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

body {
  display: flex;
  min-height: 100vh;
  flex-direction: column;
  color: var(--text-color);
  background: var(--bg-color);
  padding-top: 4.5rem;
}
div.content {
  flex: 1;
}

nav.toc {
  float: right;
  border: 1px solid;
  padding-top: 0.5em;
  padding-left: 2em;
  padding-right: 2em;
  margin-bottom: 2em;
  display: block;
}
nav.toc > h3 {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

nav.toc > ul {
  margin-top: 0.5em;
}

pre {
  background: var(--light-color);
  padding: 0.5em;
}

ol.breadcrumb > li+li:before {
    content: "\00a0/\00a0";
}