a {selector-dummy: expression(this.hideFocus=true);}
.head1 {padding:10px;margin-left:20px;border:1px;border-color:#cccccc}



.doc_nav {
  float: left;
  width: 100%;
  font-size: 12px;
  background: #cccccc;
  line-height:18px;
}

.doc_nav_spacer {
  background: #4e66a0;
  padding: 8px 0px;
}

.doc_nav a:hover,
.doc_nav a:link,
.doc_nav a:visited,
.doc_nav a {

  text-decoration: none;
    line-height:18px;
  font-size: 12px;
}

.doc_nav_wrapper {

  padding: 1px 1px 0px 9px;
}
.doc_nav_wrapper_sub {

  padding: 0px 0px 0px 9px;
}
.doc_nav_wrapper.doc_nav_wrapper_parent {
  background: #728bc2;
  padding-top: 0px;
  padding-bottom: 0px;
}