#header {
  background-color: #0D31A9;
  background-image: url(/static/images/header.png);
  background-repeat: no-repeat;
  background-position: right bottom;
  height: auto;
}

#header #branding img {
  margin: 10px 10px;
}
