ght: bold;
  }
  .jlstr {
    color: #d85266;
  }
  .inline-code {
    font-family: "Courier 10 Pitch", Courier, monospace;
    background: #f2f2f2;
    padding: 2px;
    border-radius: 1px;
  }
  #basic {
    background: url("thumb/basic.png");
    background-size: contain;
  }
  #jemdoc {
    background: url("thumb/jemdoc.png");
    background-size: contain;
  }
  #just-the-docs {
    background: url("thumb/just-the-docs.png");
    background-size: contain;
  }
  #hyde {
    background: url("thumb/hyde.pn