html {
  font-family: Arial, Helvetica, sans-serif;
}

body {
  background-color: white;
}

#top-menu {
  width: 100%;
}

#help {
  padding: 1px 2px 1px 2px;
  background-color: white;
  width: 100%;
  height: 100%;
}

#post {
  padding: 1px 2px 1px 2px;
  background-color: white;
  width: 100%;
  height: 100%;
  overflow: auto;
}

.hadron-diagnostic-error {
  background-color: lightpink;
}

.headerimage {
  float: right;
  margin-right: 2ex;
  vertical-align: middle;
}