
      font-weight: bold;
    }
    .uncovered {
      color: rgb(255, 0, 0);
      font-weight: bold;
    }
    .both {
      color: rgb(200, 100, 0);
      font-weight: bold;
    }
    ul, #dir_list {
      list-style-type: none;
      padding-left: 16px;
    }
    #dir_list {
      margin: 0;
      padding: 0;
    }
    .hover:hover {
      background: #ffff99;
    }
    .caret {
      cursor: pointer;
      user-select: none;
    }
    .caret::before {
      color: black;
      content: "\25B6";
      d