der-links {
          width: 100%;
          justify-content: space-between;
      }
    }

    header .badge {
      background-color: rgb(239, 68, 68);
      color: white;
      padding: 0.25rem 0.25rem;
      border-radius: 100px;
      font-size: 0.65rem;
      font-weight: normal;
      margin-left: 5px;
      min-width: 13px;
      /* display: inline-block; */
      text-align: center;
      display: none;
    }

    /* interactive-code.css */
    pre {
      background-color: #f3f4f6;
      padding: 