body {
  background-color: #c8a0a0;
  padding: 20%;  
}

hr {
  border: 0;
  border-top: 4px solid black;
  clear: both;
}

div.menu {
  font-family: sans-serif;
  margin: 10px;
  text-align: center;
}

div.menu ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  overflow: hidden;
}

div.menu ul li {
  display: inline;
  float: center;
}

a.button {
  color: black;
  display: inline-block;
  padding-left: 10px;
  padding-right: 10px;
  margin: 10px;
  border-color: black;
  border-style: solid;
  border-width: 1px;
  weight: bold;
  text-decoration: none;
  text-align: center;
  font-weight: bold;
  background-color: rgba(255,255,255,0.1);
}

a.button:hover {
  background-color: rgba(255,255,255,0.25);
}

a.button:active {
  background-color: rgba(255,255,255,0.10);
}

div.logo {
  margin: 10px;
  padding: 10px;
  text-align: center;
  font-family: sans;
  font-weight: bold;
}

div.bottom {
  margin: 10px;
  padding: 10px;
  text-align: center;
  font-size: 0.6em;
}

div.logo img {
  border-color: black;
  border-style: solid;
  border-width: 4px;
  vertical-align: middle;
}

div.bottom img {
  border-color: black;
  border-style: solid;
  border-width: 4px;
  vertical-align: middle;
}

div.text {
  padding: 20px;
  overflow: hidden;
  text-align: justify;
}

div.text h1 {
  font-family: sans-serif;
}

div.figure {
  float: left;
  margin: 10px;
  padding: 10px;
  text-align: center;
  font-style: italic;

}

div.figure img {
  width: 256px;
  border-width: 4px;
  border-style: solid;
  border-color: black;
  background-color: rgba(255,255,255,0.50);
}

div.screenshot p {
  text-align: center;
  font-style: italic;
}