div#brandingarea {
  margin: 0px;
  padding: 0px;
  position: fixed;
  top: 0px;
  z-index: 500000;
  width: 100%;
  height: 39px;
  background-color: #ffffff;
}
div#container.contmanual .navHeader,
div#container.contmanual header div.navlst-content {
  width: 480px;
}

div.helponly li#manual a,
div#container.contmanual li#manual_open a {
  border-top-right-radius: 6px;
  border-bottom-right-radius: 6px;
}


.navHeader {
  overflow: auto;
  font-size: 11px;
  width: 966px;
  margin-top: 5px;
  margin-bottom: 5px;
  margin-left: auto;
  margin-right: auto;
}
#navHeaderlinks {
  float: right;
  margin-top: 9px;
}
#navHeaderlinks a {
  color: #000000;
  margin-left: 10px;
  margin-right: 2px;
  font-size: 12px;
}
#navHeaderlinks a:hover {
  color: #e20074;
}
.navHeaderImage {
  float: left;
  margin-top: 1px;
  margin-left: 2px;
}