html {
  background-color: #213449;
}

#doc {
  background-color: #fff;
  padding: 20px 0 0 0;
}

em {
  font-style: italic;
}

#hd {
  margin: 13px;
}

/*#hd h1 {
  font: 3.692em Georgia, serif;
  margin: 0 0 20px 15px;
}
*/
#nav {
  margin-bottom: 13px;
}

#nav div {
  *margin-right: -1px; /* IE sucks */
}

#nav a {
  display: block;
  width: 112px;
  background-image: url(menu.png);
  background-repeat: no-repeat;
  height: 67px;
  text-indent: -9000px;
  border-bottom: 3px solid white;
}

#nav a.current {
  cursor: default;
}

#nav-kb a {
  background-position: 0px 0px;
} 

#nav-kb a:hover, #nav-kb a.current {
  border-bottom-color: #faba00;
} 

#nav-help a {
  background-position: -113px 0px;
} 

#nav-help a:hover, #nav-help a.current {
  border-bottom-color: #1bcb00;
} 

#nav-contrib a {
  background-position: -226px 0px;
} 

#nav-contrib a:hover, #nav-contrib a.current {
  border-bottom-color: #3e8bdf;
}

#content {
  line-height: 16px;
}

#content div {
  padding-left: 15px;
}

#content div div {
  padding-left: 0;
}

#content a:link, #content a:visited, #content a:hover {
  color: #41668f;
}

#content a:active {
  color: #c61a1a;
}

#content ul {
  margin-bottom: 1em;
}

#content ul li {
  list-style: disc outside;
  margin-left: 3em;
}

#content .dl a {
  background: #c61a1a url(arrow.png) no-repeat 192px 20px;
  font-size: 11px;
  line-height: 16px;
  color: #eee;
  text-decoration: none;
  display: block;
  padding: 8px 12px;
  margin: 8px 0;
}

.dl span {
  display: block;
  font: 21px Georgia;
  line-height: 32px;
}

.dl a:hover {
  background-color: #e22020;
  background-position: 192px -24px;
  color: #fff;
}

.dl a:hover span {
  text-decoration: underline;
}

#content .note {
  font-size: 12px;
  font-style: oblique;
}

#news div {
  padding-right: 15px;
}

#news div div {
  padding-right: 0;
}

#news p {
  font-size: 11px;
  line-height: 16px;
}

#news p + p {
  margin-top: -16px;
  text-indent: 16px;
}

#news h3 {
  font-size: 12px;
  line-height: 16px;
  font-weight: bold;
}

#ft {
  padding: 18px 15px 13px;
  color: #666;
  font-size: 11px;
}

h2 {
  font-family: Georgia;
  font-size: 21px;
/*  font-weight: bold;*/
  line-height: 32px;
}

h3 {
  font-family: Georgia;
  font-style: oblique;
  font-size: 16px;
  line-height: 32px;
}

#bd p {
  margin-bottom: 16px;
}