tstyle.css: fix font specification for title banner - 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 71e975f0e66fccea5b8de7db332845b8126b9c3c
   DIR parent 4d08fa413266fe86b453f227b4c35fc2247e26fc
  HTML Author: Anders Damsgaard <anders@adamsgaard.dk>
       Date:   Fri, 18 Dec 2020 12:24:42 +0100
       
       style.css: fix font specification for title banner
       
       Diffstat:
         M style.css                           |       4 +++-
       
       1 file changed, 3 insertions(+), 1 deletion(-)
       ---
   DIR diff --git a/style.css b/style.css
       t@@ -116,7 +116,9 @@ li {
        #title {
                background-color: #707;
                padding: 1ex 10px;
       -        font: 1.0em/1.2 Consolas,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace;
       +        font-size: 1.0em;
       +        line-height: 1.3;
       +        font-family: monospace;
                border-bottom: 0px solid #aaa;
                width: 100%;
        }