a {
  text-decoration: underline;
}

a:link {
  color: #0000BB;
}

a:visited {
  color: #000088;
}

a:active {
  color: #000088;
}

a:hover {
  color: #FF0000;
}

a:focus {
  color: #FF0000;
}

.logo {
  float: left;
  padding: 4px;
  padding-top: 24px;
}

.screenshot {
  padding: 8px;

  font-size: 8pt;
  text-align: center;
}
