@import url("gruvbox-dark.css");

body {
  background-color: var(--bg1);
  color: var(--fg2);
  font-family: Arial, Helvetica, sans-serif;
  max-width: 960px;
  margin: auto;
  padding: 8px;
}

a:link {
  color: var(--aqua);
}

a:visited {
  color: var(--aqua-dim);
}

a:hover {
  color: var(--purple);
}

a:active {
  color: var(--purple-dim);
}

.level2 {
  max-width: 720px;
  margin: auto;
}

div.sourceCode {
  background-color: var(--bg_h);
  padding: 8px;
}