html {
  width: 100%;
  height: 100%;
  overflow: hidden;
  font: 400 1.2em/1.4em var(--base-type);
}

html body {
  background: var(--primary);
  color: var(--secondary);
  margin: 0;
  padding: 0;
  height: 100%;
  width: 100%;
  overflow-y: scroll;
  overflow-x: hidden;
}

header {
  width: 100%;
  color: var(--primary);
  background: var(--secondary);
}

header > nav {
  display: grid;
  grid-template-columns: 1fr 1fr;
  padding: 10px;
}

header > nav a {
  color: var(--primary);
}

header > nav i {
  font-size: 1.3em;
}

header > nav > div[role="nav-right"] {
  text-align: right;
}

div[role="system-notice"] {
  background: var(--highlight);
  color: var(--primary);
  padding: 10px;
}

main {
  height: 100%;
}

/* GLOBALS */

a {
  color: var(--highlight);
  text-decoration: none;
  border-bottom: 1px solid var(--white);
  transition: all 0.2s linear;
}

a[role="nav-links"] {
  padding: 7px;
  border-bottom: none;
}

a:hover {
  border-bottom: 1px solid var(--secondary);
}

sup {
  background: var(--black);
  color: var(--white);
  padding: 2px;
  border-radius: 3px;
  vertical-align: baseline;
  font-family: var(--mono-type);
}
