@font-face {
  font-family: 'Libertinus Serif';
  src: url('/fonts/LibertinusSerif-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap; /* prevents invisible text during load */
}

@font-face {
  font-family: 'Libertinus Serif';
  src: url('/fonts/LibertinusSerif-Bold.woff2') format('woff2');
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'Libertinus Serif';
  src: url('/fonts/LibertinusSerif-Italic.woff2') format('woff2');
  font-weight: 400;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: 'Libertinus Serif';
  src: url('/fonts/LibertinusSerif-BoldItalic.woff2') format('woff2');
  font-weight: 700;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: 'DejaVu Sans Mono';
  src: url('/fonts/DejaVuSansMono.woff') format('woff');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}


body {
    font-family: 'Libertinus Serif', sans-serif;
    max-width: 750px;
    margin: 0 auto;
    padding: 30px 10px;
    font-size: 1.5em;
}

.center {
    display: block;
    margin-left: auto;
    margin-right: auto;
}

h2 {
    border-bottom: black 1px solid;
    padding-bottom: 20px;
    padding-top: 20px;
}

code, pre {
  font-family: 'DejaVu Sans Mono', monospace;
}