html {
  height: initial;
  min-height: 100%;
}
body {
  background-color: var(--mdc-theme-background);
  font-size: 15px;
  height: 100%;
  min-height: 100%;
  padding: 10px;
}
a {
  color: var(--mdc-theme-primary);
  text-decoration: underline;
}
h1, h2, h3, h4 {
  color: var(--mdc-theme-primary);
}
ul {
  margin: 0;
  padding: 0 0 0 1em;
}
div#website-content {
  background-color: var(--mdc-theme-surface);
  border-radius: var(--md-unit);
  color: var(--mdc-theme-on-surface);
  padding: 20px;
}
ul.autonav {
  list-style: none;
  margin-top: 1em;
}
ul.autonav a {
  color: var(--mdc-theme-secondary);
  display: block;
  font-weight: bold;
  padding: 5px 0;
  text-decoration: none;
}