body, input { 
  font-family: Verdana, Arial, Lucida Console, monospace;
  font-size: 11pt;
}

body {
  background-color: #fff;
  color: #000;
  margin: 10px 20px;
}

#logo {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 31px;
  font-weight: normal;
  background-color: #999;
  margin-top: -10px;
  padding: 5px 10px;
  padding-top: 10px;
  color: #fff;
  display: -moz-inline-box; /* for FF2 */
  display: inline-block;
  display: inline; /* for IE */
}

body > h1 strong {
  font-size: 22px;
  text-transform: uppercase;
  font-weight: normal;
  letter-spacing: 1px;
}


#label {
  margin-bottom: 0.2em;
}

input.settings {
  font-size: 9pt;
}

input.cmd {
  font-family: Arial, Helvetica, sans-serif;
  width: 330px;
  font-size: 18pt;
}

a#helptoggle {
  margin-left: 2em;
}

a.help {
  font-family: Arial, sans-serif;
  font-size: 0.7em;
  text-decoration: none;
  padding: 0 0.4em;
  border: 1px dotted;
}

#help {
  font-size: 0.8em;
  margin-top: 3em; /* to compensate IE's display:inline effect */
  color: #666;
}

#cmdline {
  margin-top: 2em; /* to compensate IE's display:inline effect */
}

#log {
  margin-bottom: 50px;
}

#footer {
  border-top: 1px dashed #999;
  padding-top: 5px;
  padding-bottom: 10px;
  font-size: 7.5pt;
  color: #999;
  display: -moz-inline-box; /* for FF2 */
  display: inline-block;
  display: inline; /* for IE */
}

#footer a {
  color: #99c;
}

.response {
  margin-top: 1em;
}

.response h1 {
  margin-top: 1em; 
  margin-bottom: 0.5em; 
  font-family: Arial, sans-serif;
  font-size: 18pt;
  font-weight: normal;
}

.wait {
  color: #999;
}

pre {
  font-size: 8pt;
  color: #666;
}

.free, .occupied, .error {
  margin-bottom: 0.5em;
}

.free {
  color: #090;
}

.occupied {
  color: #c00;
}

.error {
  color: #f00;
}

.hidden {
  display: none;
}