html, body {
  margin: 0px;
  padding: 0px;
  /*
  width: 640px;
  height: 480px;
  */
}
body {
  background: #000 url(space-station.png) center no-repeat;
  height: 100vh;
}

.menu {
  border-radius: 5px 5px 0px 0px;
  border: 1px solid #a01f10;
  border-top-color: #a01f10;
  border-bottom-color: #fc0000;
  background: #000029;
  float: right;
  margin: 20px 20px;
  font-family: Arial, sans-serif;
  font-size: 11px;
  font-weight: bold;
  text-transform: uppercase;
  text-align: center;
}
.menu h1 {
  font-size: 1.35em;
  border-top: 1px solid #fc0000;
  border-bottom: 1px solid #ff0000;
  color: #0f0;
  margin: 0px;
  padding: 5px 3px 3px;
}
.menu ul {
  border-bottom: 1px solid #a01f10;
  background: #000029 url(menu-background.png) center no-repeat;
  margin: 0px;
  padding: 5px 3px 18px;
}
.menu ul li{
  background: #000;
  list-style: none;
  padding: 3px;
  margin: 6px 21px 6px 17px;
}
.menu a {
  display: block;
  border: 1px solid #a61c14;
  padding: 3px 10px;
  color: #df2;
  text-decoration: none;
}
.menu a::first-letter {
  text-decoration: underline;
}
.menu a:focus {
  outline: 0;
  border-color: #fc0000;
}
.menu a:active {
  box-shadow: 0px 0px 10px 2px #a61c14;
}