body {
  font-size: 12px;
  font-family: 'Lucida Grande', Verdana, Helvetica, Arial, sans-serif;
  margin: 1em 2em;
}

div, span {
  font-size: 1.12em;
}

div.block { margin: 0px; padding: 0px; }
.tag { font-weight: bold; }
.id { color: #880000; }
.class { color: #558855; }

a {
  text-decoration: underline;
}

dl input, dl textarea, dl select {
  padding: 3px 3px 3px 3px;
  margin-top: 3px;
}

dl dt, dl div, fieldset div {
  margin-top: 1em;   /* white-space above field label */
}

dl dd {
  margin-left: 0px;  /* by default dd is indented */
}

dl dt label {
  font-weight: bold;
  margin-right: 1.5em;
}

dl dt span {
  vertical-align: text-top;
  font-size: 0.8em;
  margin-left: 2em;
}

dl dt span, dl dt span a, .hint, a.hint, .hint a {    /* style for hints */
  color: #608080;
}

.hint, .hint a {
  font-size: 11px; color: #999999; 
}

ol {
  text-indent: 0px;
  padding-left: 0px;
  margin-left: 0px;
  margin-right: 1em;
}

ol li {
  list-style: none;
  font-size: 1.1em;
}

span.dow {  }
span.dow_new { color: #cccccc; }
span.dow_same { opacity: 0; filter:alpha(opacity=0.1); }

#quickref {
  text-decoration: underline;
  cursor: pointer;
}

h1 a { text-decoration: none; color: #000000; font-size: 50px; }

#output p { font-size: 1.1em; padding: 0.5em; margin: 0 0 1em 1px; }
#output .input { float: left; width: 45%; color: #cccccc;}
#output .result { float: left; width: 50%; }
#output div { clear: both; width: 90%; border-top: 1px #dddddd solid; }

#otherlang .current { font-size: 2.5em; font-weight: bold; color: #000; }