URI:
       tstyle.css: turn off font ligatures - 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 aee9726f65f6c76cba4af628da15b41f52344e69
   DIR parent dc3364290fcb607b6c1c43e2ad0db9417bc3f674
  HTML Author: Anders Damsgaard <anders@adamsgaard.dk>
       Date:   Fri, 11 Dec 2020 17:12:06 +0100
       
       style.css: turn off font ligatures
       
       Diffstat:
         M style.css                           |       1 +
       
       1 file changed, 1 insertion(+), 0 deletions(-)
       ---
   DIR diff --git a/style.css b/style.css
       t@@ -7,6 +7,7 @@ body {
                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-variant-ligatures: none;
                margin: 0;
                padding: 0;
        }