kground: #f4f5f7;
    padding: 10px;
    border-radius: 5px;
  }
  .card .descr p {
    font-style: italic;
  }
  a {
    text-decoration: none;
    color: black;
  }
  pre {
    background: #f2f2f2;
    font-family: "Courier 10 Pitch", Courier, monospace;
    font-size: 17px;
    line-height: 1.6;
    margin-bottom: 1.6em;
    max-width: 100%;
    overflow: auto;
    padding: 1em;
    border-radius: 5px;
  }
  .jljl {
    color: #17aa30;
    font-weight: bold;
  }
  .jlkw {
    color: #dd9d3e;
    font-wei