body {
  font-family:       ui-monospace,    // San Francisco Mono on macOS and iOS
                     "Cascadia Mono", // | Newer Windows monospace fonts that are
                     "Segoe UI Mono", // | optionally installed. Most likely to 
                                      // | be rendered in Consolas
                     "Ubuntu Mono",   // Ubuntu
                     "Roboto Mono",   // Chrome OS and Android
                     Menlo, Monaco, Consolas,          // A few sensible system font choices
                     monospace;       // The final fallback for rendering in monospace.
  font-size:        12pt;
  color:            #000000;
  background-image: url('graphics/plain-blue.gif');
}
a:link    { color:#0000ee; }
a:visited { color:#551a8b; }
h1 {
  text-align:       center
}
pre {
  font-size:        6pt;
}