/* app css stylesheet */
body {
  font-family: 'B612 Mono', monospace;
}

.menu {
  list-style: none;
  border-bottom: 0.1em solid black;
  margin-bottom: 2em;
  padding: 0 0 0.5em;
}

.menu:before {
  content: "[";
}

.menu:after {
  content: "]";
}

.menu > li {
  display: inline;
}

.menu > li + li:before {
  content: "|";
  padding-right: 0.3em;
}

#case-file {
  width: 70vw;
  margin: auto;
}

#case-file .redacted {
  background-color: black;
}