*, *::before, *::after {
  box-sizing: border-box;
}

body {
  width: max-content;
  max-width: 100%;
  margin: 0;
  padding: .25rem 1rem;
}

header {
  display: flex;
  align-items: baseline;
  gap: 0 1rem;
  flex-wrap: wrap;
  align-content: flex-start;
  margin: 1rem 0;

  * {
    margin: 0;
    padding: 0;
  }
}

p {
  max-width: 40em;
  overflow-wrap: break-word;
  hyphens: auto;
  -webkit-hyphens: auto; /* for Safari */
}

pre {
  padding: 1rem;
  font-size: 1rem;
  overflow: auto;

  // The line numbers already provide some kind of left/right padding
  [data-lineos] {
    padding: 1rem 0;
  }

  table {
    width: 100%;
    border-collapse: collapse;

    td {
      padding: 0;

      // The line number cells
      :nth-of-type(1) {
        text-align: center;
        user-select: none;
      }
    }
  }

  mark {
    // If you want your highlights to take the full width.
    display: block;
    // The default background colour of a mark is bright yellow
    background-color: rgba(254, 252, 232, 0.9);
  }
}

ul > li {
  display: flex;
  flex-wrap: wrap;
  align-content: flex-start;
  align-items: baseline;
  gap: 0 1rem;
}

nav {
  p, ul, li {
    margin: 0;
    padding: 0;
  }

  display: flex;
  flex-direction: column;
  align-content: flex-start;
  gap: .25rem;
}