@font-face {
    font-family: 'MonaspaceRadon-Regular';
    src: url('https://dev.probablynull.ca/static/fonts/MonaspaceRadon-Regular.woff') format('woff');
    font-weight: normal;
  }

      .code-section .line > *, .line-numbers-rows {
        font-family: 'MonaspaceRadon-Regular', Inter, sans-serif;
      }

      .line-numbers-rows.default-layout {
        padding-left: 0.5rem;
      }

      .line-numbers-rows > span .ln {
        font-size: 16.1px;
      }

      .line-numbers-rows > span:first-child .ln {
        padding-top: 13px !important;
      }