style.css

main {
  hyphens: auto
}

body {
  margin: 1em auto;
  max-width: 800px;
  padding: 0;
  line-height: 1.5em;
  font-family: monospace
}

header {
  position: fixed;
  left: 0;
  top: 0;
  width: 100%;
  background-color: #eee;
  text-align: center
}

footer {
  position: fixed;
  text-align: center;
  left: 0;
  bottom: 0;
  width: 100%;
  border: 1px solid #ddd;
  background-color: #eee;
  box-shadow: 5px 5px 5px #eee
}

hr {
  border-style: dashed;
  color: #ddd
}

code {
  background: 0 0;
  font-size: 95%
}

.javadoc {
  background: #eee;
}

#menu {
  text-align: center;
  padding: 0
}

#menu li {
  display: inline-block;
  padding-left: 5px;
  padding-right: 5px
}

#menu a {
  text-decoration: none;
  background: #eee;
  padding: 5px;
  border-radius: 5px
}

ul, #treelist {
  list-style-type: none
}

#treelist {
  margin: 0;
  padding: 0
}

.caret {
  cursor: pointer;
  user-select: none
}

.caret::before {
  content: "⛏";
  color: #000;
  display: inline-block;
  margin-right: 6px
}

.caret-down::before {
  transform: rotate(90deg)
}

.nested {
  display: none
}

.active {
  display: block
}