html {
  background: var(--background);
  color: var(--f_high);
}

body {
  margin: 1rem;
  max-width: 60rem;
  -webkit-text-size-adjust: 100%;
}

h1,
h2 {
  font-style: italic;
}

hr {
  border: 1px solid var(--b_med);
}

a {
  color: var(--f_med);
}

pre, code {
  color: var(--f_med);
  background: var(--b_low);
}

code {
  padding: 0.1rem 0.25rem;
}

pre {
  padding: 1rem;
}

.header {
  display: flex;
  flex-direction: row;
}

.header .ident {
  display: flex;
  flex-direction: row;
}

.header .ident .name.mobile {
  display: none;
  align-self: center;
  margin-left: 1rem;
}

.header .logo {
  height: 5rem;
}

.header .name {
  font-weight: bold;
  font-size: 1.2rem;
  margin-left: 2rem;
  color: var(--b_high);
}

.header .links {
  user-select: none;
  width: 100%;
}

.header ul {
  padding: 0;
  margin-left: 2rem;
  margin-top: 0.5rem;
}

.header li {
  font-size: 1rem;
  list-style: none;
  margin-top: 0.25rem;
}

.header li a {
  padding: 0.1rem 0.25rem;
  text-decoration: none;
  color: var(--f_high);
}

.header li a:hover {
  color: var(--background);
  background: var(--b_high);
  cursor: pointer;
}

.header li.selected a {
  color: var(--background);
  background: var(--b_inv);
}

.header .columns {
  display: flex;
  flex-direction: row;
}

@media screen and (max-width: 600px) {
  .header {
    flex-direction: column;
  }

  .header .ident .name.mobile {
    display: block;
  }

  .header .logo {
    height: 3rem;
  }

  .header .links .name {
    display: none;
  }

  .header .links .columns>ul:first-child {
    margin-left: 0;
  }
}