body {
  background-color: #ffffff;
  color: #111111;
  font-family: Arial, sans-serif;
  margin: 0 auto;
  padding: 0 10%;
  font-size: 1rem;
  line-height: 1.5;
}

.banner-wrapper {
  background-color: #195fb9;
  width: 100vw;
  position: relative;
  left: 50%;
  right: 50%;
  margin-left: -50vw;
  margin-right: -50vw;
}

h1.banner,
h1.banner-short {
  color: #ffffff;
  text-align: center;
  padding: 28px 20px;
  font-size: 2rem;
  margin: 0;
}

nav {
  text-align: center;
  background-color: #195fb9;
  width: 100vw;
  position: relative;
  left: 50%;
  right: 50%;
  margin-left: -50vw;
  margin-right: -50vw;
  padding: 0 0 8px 0;
}

nav a {
  background-color: #ffffff;
  color: #000000;
  padding: 10px 20px;
  margin: 5px;
  display: inline-block;
  text-decoration: none;
  font-size: 1rem;
  border-radius: 6px;
}

nav a:hover {
  background-color: #000000;
  color: #ffffff;
}

main {
  max-width: 900px;
  margin: 32px auto;
}

button,
a.button-style,
input[type="submit"],
input[type="file"] {
  background-color: #dddddd;
  color: #000000;
  padding: 10px 20px;
  border: none;
  border-radius: 6px;
  font-family: inherit;
  cursor: pointer;
  font-size: 1rem;
}

button:hover,
input[type="submit"]:hover {
  background-color: #195fb9;
  color: #ffffff;
}

p,
ul,
ol {
  margin-bottom: 1em;
}

a {
  color: #195fb9;
}

code {
  background: #f1f5f9;
  padding: 2px 4px;
  border-radius: 4px;
}

pre {
  background: #f1f5f9;
  padding: 12px;
  overflow-x: auto;
}

@media (max-width: 640px) {
  body {
    padding: 0 5%;
  }

  h1.banner,
  h1.banner-short {
    font-size: 1.5rem;
  }

  nav a {
    display: block;
    margin: 6px 10%;
  }
}