URI:
       tstyle.css: simplify monospace font choice, hopefully fixing issues on webkit - adamsgaard.dk - my academic webpage
  HTML git clone git://src.adamsgaard.dk/adamsgaard.dk
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
   DIR commit 7cc9a6bfecb767ac4dcb5895d30cb32acaa22bd1
   DIR parent 65b18f20bc2ade25e39e73eba31e742ebb5931c6
  HTML Author: Anders Damsgaard <anders@adamsgaard.dk>
       Date:   Fri, 11 Dec 2020 17:31:39 +0100
       
       style.css: simplify monospace font choice, hopefully fixing issues on webkit
       
       Diffstat:
         M style.css                           |       2 +-
       
       1 file changed, 1 insertion(+), 1 deletion(-)
       ---
   DIR diff --git a/style.css b/style.css
       t@@ -6,7 +6,7 @@ body {
                color: #bbb;
                font-size: 1.0em;
                line-height: 1.3;
       -        font-family: Consolas,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace;
       +        font-family: monospace;
                font-variant-ligatures: none;
                margin: 0;
                padding: 0;