#header {
  background-color: @headerBgColor;
  margin: 0px;
  padding: 5px;
  color: @headerColor;
  font-weight: bold;
}