body {
  font-family: sans-serif;
  margin: 5px;
}

nav {
  background-color: #00008B;
  position: sticky;
  margin: -5px;
  top: 0px;
}

nav a {
  color: #dddddd;
  display: inline-block;
  font-size: 15px;
  padding: 10px;
  text-decoration: none;
}

nav a strong {
  color: #eeeeee;
}

nav a:hover {
  color: #ffffff;
}

.license {
  position: absolute;
  bottom: 0;
  left: 0;
  width: 99.5%;
  text-align: right;
}

button {
  background-color: #00008B;
  color: white;
  border-style: solid;
  border-color: #00004B;
}

button:focus {
  background-color: #00009B;
}

button:hover {
  background-color: #00009B;
}