html {
  min-height: 100dvh;
  font-family: system-ui, -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen,
    Ubuntu, Cantarell, 'Open Sans', 'Helvetica Neue', sans-serif;
}

.intro-note {
  margin: 3rem 0;
  line-height: 1.7;
  max-width: 42rem;
}

.intro-note h2 {
  font-weight: 600;
  margin-bottom: 0.5rem;
  opacity: 0.9;
}

.intro-note .lead {
  font-style: italic;
  color: #ccc;
}

body {
  background-color: #000000;
}

body div.container {
  color: #44ee44;

  max-width: 1200px;
  overscroll-behavior-y: none;
  display: grid;
  grid-template-rows: auto auto 1fr auto;
  margin: auto;
  left: 0;
  right: 0;
  top: 0;
  bottom: 0;
  position: absolute;
}

body nav.navbar {
  display: flex;
  justify-content: center;
  align-items: center;
  gap: 2rem;
  background-color: #111;
  border-bottom: 1px solid #44ee44;
  padding: 0.75rem 1rem;
}

body nav.navbar a.nav-link {
  color: #44ee44;
  text-decoration: none;
  font-weight: bold;
  border: #44ee44 1px solid;
  padding: 0.5rem 1rem;
}

body div.container header {
  color: lightgrey;
  margin: 1rem;
}

body div.container main {
  color: lightgrey;
  margin: 1rem;
}

.math {
  font-family: monospace;
  padding: 0 0.1rem;
  white-space: nowrap;
}

.math-block {
  font-family: monospace;
  text-align: center;
  margin: 1rem 0;
  padding: 0.3rem 0;
  display: block;
}

footer {
  background-color: #44ee44;
  color: #000000;
  text-align: center;
}

footer p {
  margin: 0;
}