#debug-notice {
  max-height: 42px;
}
/*#header {
  padding-top: 42px;
}*/
.header .header-logo {
  margin-top: 42px;
}
#navbar {
  margin-top: 42px;
}