.DV-header{
  padding:10px 0;
}

.DV-header.DV-hide {
  display: none;
}

.DV-branding{
  font-family:Arial,Helvetica,sans-serif;
  font-size:15px;
  font-weight:bold;
  padding: 0 5px 0 0;
}

.DV-headerHat{
  padding: 15px 0 5px;
  margin: 0 10px 10px 15px;
  position:relative;
}

.DV-title{
  font-family: Georgia,Times,serif;
  font-size: 20px;
  font-weight: normal;
}

.DV-header .DV-navControlsContainer {
  float: right;
  margin: -2px 12px 0;
  padding: 0 36px;
  position: relative;
}
