/* Header & nav bar styles */

.head {
  padding: .5em 1.5em .2em;
  border-top: .6em solid #adf;
}

.head h1, .head p {
  display: inline;
  margin-right: .6em;
}

.nav {
  background-color: #0191C8;
  color: white;
  padding: 1px .3em 2px .5em;
  font-size: 90%;
  text-align: right;
  border-bottom: .3em solid #005B9A;
  border-top: .3em solid #005B9A;
}

.nav a, .nav a:visited, .nav .linkish {
  color: white;
  font-weight: bold;
}

#textsearch {
  border: 1px solid black;
  width: 7em;
  font-size: 80%;
  padding: 0 3px;
}

.usertable td {
  padding-right: 2em;
  padding-left: .3em;
}

.usertable th, .usertable td {
  border-bottom: 1px solid black;
}

.small-form {
  margin: 0;
  margin-left: .5em;
}

.small-form label {
  display: -moz-inline-box;
  display: inline-block;
  min-width: 4em;
}

label.normal { min-width: 0; }