@import "base.css";

@font-face {
  font-family: Nunito;
  font-style: normal;
  font-weight: 800;
  src: url(/fonts/Nunito.ttf) format(truetype);
  font-display: swap;
}

@font-face {
  font-family: "Nunito Sans";
  font-style: normal;
  font-weight: 500;
  src: url(/fonts/NunitoSans.ttf) format(truetype);
  font-display: swap;
}

@font-face {
  font-family: "Red Hat Mono";
  font-style: normal;
  font-weight: 500;
  src: url(/fonts/RedHatMono.ttf) format(truetype);
  font-display: swap;
}

:root {
  --background-color: #446677;
  --primary-font: "Nunito Sans", sans-serif;
  --primary-color: #ffffff;
  --header-font: Nunito, sans-serif;
  --header-color: #eeeeee;
  --fixed-font: "Red Hat Mono", monospace;
  /* --link-color: #88aaff; */
  --link-color: #aabbff;
}

body {
  text-align: justify;
}

div.figure {
  margin: auto;
  max-width: 500px;
  text-align: center;
}

div.figure img {
  max-width: 100%;
}

div.figure p {
  margin: 0;
}

pre {
  background-color: #112233;
  border-radius: 8px;
}