body {
  font-family: verdana, sans-serif;
  font-size: small;
  margin: 10px;
}

h1 {
  font-weight: normal;
  font-size: 140%;
  margin-top: 15px;
  padding-top: 0px;
}

h2 {
  font-weight: normal;
  font-size: 140%;
  margin-top: 15px;
  padding-top: 0px;
}

h3 {
  padding: 5px;
  font-weight: normal;
  background-color: #efefef;
  border: 1px solid #b0b0b0;
  font-size: 120%;
}
h4 {
  padding: 5px;
  background-color: #dbe6de;
  border: 1px solid #b0b0b0;
  color: #3f5f7c;
  font-size: 100%;
}

p {
  line-height: 1.5em;
  text-align: justify;
}

pre {
  font-size: 100%;
}

.buttons {
  padding: 5px;
  background-color: #efefef;
  border: 1px solid #b0b0b0;
}

.t {
  border-collapse: collapse;
}
.t th {
  border: 1px solid #cccccc;
  background-color: #efefef;
  padding: 8px;
}
.t .key {
  background-color: #e0e0e0;
}
.t td {
  border: 1px solid #cccccc;
  padding: 8px;
}

#ftpiggy {
  position: absolute;
  top: 10px;
  left: 10px;
}

#user {
  text-align:right;
  font-size: x-small;
  font-weight: bold;
  height: 75px;
}
#user .sep {
  font-weight: normal;
  color: #666;
}

#menu {
  color: #dbe6de;
  font-size: 11px;
  font-weight: bold;
  width: 100%;
  background-color: #3f7c5f;
}
#menu a {
  color: white;
}
#menu .sep {
  color: #6ec1b0;
}
#menu input {
  font-size: 11px;
}

#tabs {
  margin: 0px;
  padding: 0px;
  font-size: 11px;
  font-weight: bold;
}
#tabs a, #tabs .a {
  padding-left: 10px;
  padding-right: 10px;
}
#tabs .on {
  background-color: #3f7c5f;
}
#tabs .on a {
  color: #ffffff;
  text-decoration: none;
}
#tabs .off {
  background-color: #dbe6de;
  border-top: 1px solid #c6d7cf;
}
#tabs .off a {
  color: #000000;
  text-decoration: none;
}
#tabs .dis {
  color: #999999;
  background-color: #dbe6de;
  border-top: 1px solid #c6d7cf;
}
#tabs .indent {
  width: 90px;
}
#tabs .spacer {
  width: 10px;
}

.m {
  color: darkgreen;
}
.o {
  color: orange;
}
.e {
  color: red;
}
.status {
  font-size: x-small;
  font-weight: bold;
}

.tf {
  display: inline;
}

.login,.signup {
  width: 250px;
  border: 2px solid #8ea150;
  padding: 10px;
  background-color: #EFF2E3;
  margin-top: 15px;
  margin-bottom: 15px;
}

.nav a,.nav span {
  display: block;
  float: left;
  margin-right: 5px;
  width: 25px;
  text-align: center;
  color: #3f7c5f;
}
.nav a {
  text-decoration: none;
  border: 1px solid #c6d7cf;
}
.nav span {
  font-weight: bold;
  border: 1px solid #3f7c5f;
}

.nav a:hover {
  background-color: #dbe6de;
}