h1, h2 {
  color: #990000;
}

div {
  margin-bottom: 1.5em;
}

@media screen {
    div > h2:before {
        content: "\00BB" " ";
    }
}

a.langselect {
  color: black;
  font-weight: bold;
  text-decoration: none;
  border: solid 1px;
  padding: 1px;
  font-family: monospace;
}

.menu li {
  padding-bottom: 0.3ex;
}

li {
  padding-bottom: 1ex;
}

li ul {
  padding-top: 1ex;
}