<!-- Tweaks to the pandoc output style to make the resulting HTML
     look much nicer. -->

<style>
body {
    background-color: white;
    margin-top: 1.5em;
    margin-bottom: 4em;

    max-width: 38em;
    margin-left: auto;
    margin-right: auto;
    box-sizing: border-box;

    padding: 0;
    padding-left: 1.3em;
    padding-right: 1.3em;

    font-size: large;
    color: #555;
    line-height: 1.6;

    text-align: justify;
    overflow-wrap: break-word;
}

header {
      font-family: serif;
      margin-top: 0;
      margin-bottom: 0.2em;
}

h1, h2, h3, h4, h5, h6 {
      margin-top: 0.5em;
      margin-bottom: 0.2em;
}

p {
      margin-top: 0;
      margin-bottom: 0.8em;
}

dl {
      margin-block-start: 0.5em;
}
</style>