:root {
  /* Core constants. */
  --eacit-light: rgb(197, 1, 160);
  --eacit-dark: rgb(76, 1, 197);
  --background-light: #6d6d6d;
  --background-dark: #1e1e1e;
  --standard-margin: 20px;
  --standard-padding: 20px;
  --standard-border-radius: 4px;
  --standard-line: 2px;
  --standard-blur: 4px;
  --logo-size: 64px;
  --footer-height: 32px;

  /* Derived constants. */
  --header-height: calc(var(--logo-size) + 2 * var(--standard-margin));
}

@font-face {
  font-family: "Latin Modern";
  src: url("/static/fonts/LatinModernRoman-Regular.woff") format("woff");
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: "Latin Modern";
  src: url("/static/fonts/LatinModernRoman-Italic.woff") format("woff");
  font-weight: normal;
  font-style: italic;
}

@font-face {
  font-family: "Latin Modern";
  src: url("/static/fonts/LatinModernRoman-Bold.woff") format("woff");
  font-weight: bold;
  font-style: normal;
}

.desktop-only-block,
.mobile-only-block,
.desktop-only-flex,
.mobile-only-flex {
  display: none !important;
}

@media (min-width: 1024px) {
  .desktop-only-block {
    display: block !important;
  }
  .desktop-only-flex {
    display: flex !important;
  }
}

@media (max-width: 1024px) {
  .mobile-only-block {
    display: block !important;
  }
  .mobile-only-flex {
    display: flex !important;
  }
}

a,
a:visited {
  color: inherit;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-weight: normal;
}

html,
body {
  width: 100svw;
  height: 100svh;
  margin: 0;
  font-family: "Latin Modern", serif;
  background-color: black;
  color: white;
}

#lorenz-animation {
  position: fixed;
  min-width: 100%;
  min-height: 100%;
  left: 50%;
  top: 50%;
  transform: translate(-50%, -50%);
  z-index: 0;
}

@media screen and (max-aspect-ratio: 1/1) {
  #lorenz-animation {
    max-height: 100%;
  }
}

@media screen and (min-aspect-ratio: 1/1) {
  #lorenz-animation {
    max-width: 100%;
  }
}

#main {
  width: 100%;
  height: 100%;
  display: flex;
  flex-direction: column;
}

#header {
  height: var(--header-height);
  display: flex;
  justify-content: space-between;
  align-items: center;
  backdrop-filter: blur(var(--standard-blur));
  -webkit-backdrop-filter: blur(var(--standard-blur));
}

#desktop-menu {
  margin: var(--standard-margin);
}

#desktop-menu > a {
  margin: 0 0 0 var(--standard-margin);
}

#hamburger {
  width: var(--logo-size);
  height: var(--logo-size);
  margin: var(--standard-margin);
  display: flex;
  flex-direction: column;
  justify-content: space-around;
  cursor: pointer;
}

.hamburger-bar {
  height: var(--standard-line);
  background-color: white;
}

#mobile-menu {
  display: none;
  justify-content: center;
  align-items: center;
}

#mobile-menu > nav {
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
}

#mobile-menu > nav > a {
  margin: var(--standard-margin);
}

#logo {
  display: flex;
  align-items: center;
  margin: var(--standard-margin);
  text-decoration: none;
}

#logo img {
  width: var(--logo-size);
  aspect-ratio: 1/1;
  margin: 0 var(--standard-margin) 0 0;
}

#logo span {
  font-size: xx-large;
  transform: translateY(-2.5px);
}

.page {
  height: calc(100vh - var(--header-height) - var(--footer-height));
  z-index: 1;
  backdrop-filter: blur(var(--standard-blur));
  -webkit-backdrop-filter: blur(var(--standard-blur));
}

#content {
  display: flex;
  flex-direction: column;
  overflow-y: auto;
}

.whole-page-section {
  max-width: 600px;
  min-height: calc(
    100svh - var(--header-height) - var(--footer-height) -
      var(--standard-margin)
  );
  margin: var(--standard-margin) var(--standard-margin) 0 var(--standard-margin);
  display: flex;
  flex-direction: column;
  justify-content: flex-end;
}

.section-after-whole-page-section {
  margin: 0 var(--standard-margin) var(--standard-margin) var(--standard-margin);
}

.section-after-whole-page-section > p {
  margin-top: 0;
}

.section {
  margin: var(--standard-margin);
}

#footer {
  height: var(--footer-height);
  font-size: x-small;
  display: flex;
  justify-content: flex-end;
  align-items: center;
  backdrop-filter: blur(var(--standard-blur));
  -webkit-backdrop-filter: blur(var(--standard-blur));
}

#footer > span {
  margin: 0 var(--standard-margin) 0 0;
}

#lang-character {
  vertical-align: middle;
  width: 1em;
}

/* Mobile styles. */
@media (max-width: 1024px) {
  :root {
    --logo-size: 32px;
  }
}