@import "header.css";

:root {
  --de-color-blue: #2f74f9;
  --de-color-green: #44e1bc;
  --de-color-plum: #ff70f1;
  --de-color-yellow: #ffe182;

  --font-family: "InterVariable", "Roboto", "Helvetica", "Arial", sans-serif;
  --font-family-monospace: "IBM Plex Mono", monospace;
}

.doc {
  max-width: none;
  margin: none;
}

.page {
  max-width: none;
}

article.doc h1 {
	font-family: "InterVariable";
	font-weight: 800;
}

article.doc h2 {
	font-family: "InterVariable";
	font-weight: 600;
}

body {
  font-family: var(--font-family);
}

pre code {
  font-family: var(--font-family-monospace);
}

footer.footer {
  font-size: 0.6rem;
  padding: 0.6rem;
  line-height: 0.5; 
}