body {
  font-family: verdana, helvetica, arial, sans-serif;
  font-size: 70%;
}

a {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

div.login-box {
  width: 30%;
  border: 1px #000 solid;
  padding: 20px 20px 20px 20px;
}

.clear {
  clear: both;
}

div.login-box label {
  float:  left;
}

div.login-box input {
  float: right;
}

div#page-top {
  width: 100%;
  border-bottom: 2px #000 solid;
  margin-bottom: 10px;
}

div#page-top div {
  padding: 10px 20px 5px 20px;
}

div#page-top #logo {
  float: left;
  font-size: 26px;
  font-weight: bold;
  color: #555;
}

div#page-top #global-menu {
  float: right;
}

div#form {
  margin-bottom: 40px;
}

.left {
  float: left;
}

.right {
  float: right;
}

div#stats table {
  border: 1px #000 solid;
  margin: 10px 20px 0px 20px;
  padding: 5px 0px 0px 10px;
  font-size: 90%;
}

div#stats tr {
  border-bottom: 1px #000 solid;
}

div#stats th {
  text-decoration: underline;
  font-weight: bold;
  text-align: left;
}

div#stats th, div#stats td {
  padding: 0px 20px 5px 0px;
}