body {
  font-family: Helvetica,Arial,sans-serif;
  background-color: rgb(188, 231, 245);
}

.selectable {
  cursor: pointer;
}

table.filelist {
  font-family: monospace;
  font-size: 16px;
  width: 100%;
  border: 1px solid lightgray;
  border-collapse: collapse;
}

table.filelist td {
  padding: 3px 8px;
}

table.filelist tr:nth-child(2n) td {
  background-color: #cfefdf;
}

a {
  text-decoration: none;
}

.monospace {
  font-family: monospace;
}

.keywords {
  font-family: monospace;
  font-size: 14px;
}

.pre {
  white-space: pre-line;
  white-space: pre-wrap;
  font-family: Courier;
}

.keywordMenu {
  color: darkblue;
}

.keywordMenu .selected {
  color: orangered;
}

.filelist {
  background-color: white;
}

@media print {
  .print-none {
    display: none;
  }
}