docinfo.html

<style>
  @import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:ital,wght@0,400;0,500;0,700;1,400;1,500;1,700&display=swap');

  :root {
    --background-color: #eee;
    --border-color: #ddd;
  }

  h1,
  h2,
  h3,
  h4,
  h5,
  h6,
  #toctitle {
    color: black;
    text-align: left;
    font-weight: 600;
  }

  h1 {
    font-size: 32px;
  }

  h2 {
    font-size: 24px;
  }

  h3 {
    font-size: 20px;
  }

  h4 {
    font-size: 18px;
  }

  body {
    font-family: -apple-system, BlinkMacSystemFont, 'Segoe WPC', 'Segoe UI', system-ui, 'Ubuntu', 'Droid Sans', sans-serif;
    background-color: var(--background-color);
  }

  code {
    font-family: 'JetBrains Mono', monospace;
    font-variant-ligatures: contextual;
  }

  pre>code {
    font-size: 0.9375em;
  }

  pre {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.9375em;
  }

  #header,
  #content {
    background-color: white;
    max-width: 902px;
    border-left: 1px solid var(--border-color);
    border-right: 1px solid var(--border-color);
    padding-left: 32px;
    padding-right: 32px;
  }

  #header {
    border-top: 1px solid var(--border-color);
    margin-top: 32px;
  }

  #content {
    margin-top: 0px;
    padding-top: 32px;
    border-bottom: 1px solid var(--border-color);
  }

  a {
    text-decoration: none;
  }

  #footer {
    background-color: inherit;
  }

  #footer-text {
    color: inherit;
  }

  .admonitionblock>table td.icon .title {
    font-weight: normal;
  }
</style>