body {
  margin-left:  5px;
  margin-right: 1px;
  margin-top:   5px;
  margin-bottom:1px;
}

#wcmenu {
 font-size: 12px;
 text-decoration: none;
 color: 000080;
}

#wcmenu a,span {
 text-decoration:none;
 color: 1010FF;
}

#wcmenu span {
 text-decoration:none;
 color: 3030FF;
}

#wcmenu a:hover {
 text-decoration:none;
 color: 00008F;
}

#wcmenu .indent0 {
  font-size: 14px;
  line-height: 18px;
  margin-left: 0px;
}
#wcmenu .indent1 {
  font-size: 14px;
  line-height: 18px;
  margin-left: 0.3em;
}
#wcmenu .indent2 {
  font-size: 13px;
  line-height: 16px;
  margin-left: 0.8em;
}
#wcmenu .indent3 {
  font-size: 12px;
  line-height: 14px;
  margin-left: 1.5em;
}
#wcmenu .indent4 {
  font-size: 12px;
  line-height: 13px;
  margin-left: 2.3em;
}
#wcmenu .indent5 {
  font-size: 12px;
  line-height: 13px;
  margin-left: 3.0em;
}
#wcmenu .indent6 {
  font-size: 12px;
  line-height: 13px;
  margin-left: 3.7em;
}