body {
  width: 60%;
  margin-top: 2em;
  margin-left: auto;
  margin-right: auto;
}

h1, h2, h3 {
  padding: 2pt;
}

h1 {
  background-color: #F4A460;
}

li {
  padding: 2pt;
}

li:hover {
  background-color: #F4A460;
}
div.global {
  background-color: #FFDEAD;
  border: 1px dotted #003;
  padding: 1em;
}