body {
    font-family: "Verdana", sans-serif;
}

code {
    white-space: nowrap;
}

ul.index {
  list-style-type: none;
}