/* self-host TeX Gyre Termes (recommended) */
@font-face {
    font-family: "TeXGyreTermes";
    src: url("fonts/texgyretermes-regular.woff2") format("woff2"),
         url("fonts/texgyretermes-regular.woff") format("woff");
    font-weight: 400; font-style: normal; font-display: swap;
  }
  @font-face {
    font-family: "TeXGyreTermes";
    src: url("fonts/texgyretermes-italic.woff2") format("woff2"),
         url("fonts/texgyretermes-italic.woff") format("woff");
    font-weight: 400; font-style: italic; font-display: swap;
  }
  @font-face {
    font-family: "TeXGyreTermes";
    src: url("fonts/texgyretermes-bold.woff2") format("woff2"),
         url("fonts/texgyretermes-bold.woff") format("woff");
    font-weight: 700; font-style: normal; font-display: swap;
  }
  @font-face {
    font-family: "TeXGyreTermes";
    src: url("fonts/texgyretermes-bolditalic.woff2") format("woff2"),
         url("fonts/texgyretermes-bolditalic.woff") format("woff");
    font-weight: 700; font-style: italic; font-display: swap;
  }
  
  /* one flat column */
  html, body { margin: 0; padding: 0; }
  body {
    font-family: TeXGyreTermes, "Times New Roman", Times, serif;
    font-size: 12pt;
    line-height: 1.0;
    color: #000;
    max-width: 800px;      /* single centered column */
    width: 100%;
    margin: 0 auto;
    padding: 16px;
  }
  
  /* simple elements */
  a { color: #0645ad; text-decoration: none; }
  a:hover { text-decoration: underline; }
  h1 { margin: 0 0 6px 0; font-size: 24pt; text-align: center; }
  h3 { margin: 14px 0 6px; font-size: 14pt; }
  ul { margin: 6px 0 10px 20px; }
  li { margin: 4px 0; }
  hr { border: 0; border-top: 2px solid #555; margin: 8px 0 12px; }
  
  /* bracket nav (optional) */
  .topnav { font-size: 10.5pt; margin-bottom: 8px; }
  
  /* publications list */
  .pubs { list-style: none; padding-left: 0; }
  .pubs li { margin: 10px 0; }
  .pubs b { font-weight: 700; }
  
  /* print */
  @media print {
    .topnav { display: none; }
    a { color: inherit; text-decoration: none; }
    body { padding: 0; max-width: none; }
  }