/* Google fonts, provided locally for privacy. */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(/fonts/JetBrains_Mono/static/JetBrainsMono-Regular.ttf) format('truetype');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url(/fonts/JetBrains_Mono/static/JetBrainsMono-Bold.ttf) format('truetype');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url(/fonts/JetBrains_Mono/static/JetBrainsMono-Italic.ttf) format('truetype');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url(/fonts/JetBrains_Mono/static/JetBrainsMono-BoldItalic.ttf) format('truetype');
}
@font-face {
  font-family: 'Cabin';
  font-style: normal;
  font-weight: 400;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/Cabin/static/Cabin-Regular.ttf) format('truetype');
}
@font-face {
  font-family: 'Cabin';
  font-style: normal;
  font-weight: 700;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/Cabin/static/Cabin-Bold.ttf) format('truetype');
}
@font-face {
  font-family: 'Cabin';
  font-style: italic;
  font-weight: 400;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/Cabin/static/Cabin-Italic.ttf) format('truetype');
}
@font-face {
  font-family: 'Cabin';
  font-style: italic;
  font-weight: 700;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/Cabin/static/Cabin-BoldItalic.ttf) format('truetype');
}
@font-face {
  font-family: 'Lora';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(/fonts/Lora/static/Lora-Regular.ttf) format('truetype');
}
@font-face {
  font-family: 'Lora';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url(/fonts/Lora/static/Lora-Bold.ttf) format('truetype');
}
@font-face {
  font-family: 'Lora';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url(/fonts/Lora/static/Lora-Italic.ttf) format('truetype');
}
@font-face {
  font-family: 'Lora';
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url(/fonts/Lora/static/Lora-BoldItalic.ttf) format('truetype');
}

:root {
    --symbol-fonts: "Arial Unicode", "Apple Symbols", "Symbol", "Symbola_hint";
    --body-family: "Lora", serif, var(--symbol-fonts);
    --title-family: "Cabin", sans-serif, var(--symbol-fonts);
    --mono-family: "JetBrains Mono", monospace, var(--symbol-fonts);
    font-size: 16pt;
    line-height: 1.5;
}

html {
    margin: 0;
    background-color: #fffff8;
}

h1, h2, h3, h4, h5, h6 {
    font-family: var(--title-family);
}

h1 {
    font-size: 1.728rem;
}

h2 {
    font-size: 1.44rem;
    font-weight: normal;
}

h3 {
    font-size: 1.1rem;
    font-weight: normal;
}

body {
    margin: 0;
    margin-left: auto;
    margin-right: auto;
    max-width: 50rem;
    font-family: var(--body-family);
}

body header {
    margin-top: 1rem;
    min-height: 6rem;
    margin-bottom: 0;
    border-bottom: 2px solid #777777;
}

img.banner {
    max-width: 192px;
    float: right;
}

h1 {
    margin-bottom: 0;
    margin-top: 0;
}

.programlisting {
    border: 1px solid black;
    border-radius: 4px;
    padding-top: 0.25rem;
    padding-left: 0.5rem;
    padding-bottom: 0.25rem;
    padding-right: 0.5rem;
    background: #f8f8f8;
}

.programlisting pre {
    margin-top: 0;
    margin-bottom: 0;
}

code {
  font-family: var(--mono-family);
  background-color: rgb(235,235,235);
  border: 1px solid rgb(221,221,221);
  border-radius: 6px;
  padding-top: 0.1em;
  padding-bottom: 0.1em;
  padding-left: 0.3em;
  padding-right: 0.3em;
  margin: 0;
  font-size: 85%;
}