adamsgaard.dk

my academic webpage
git clone git://src.adamsgaard.dk/adamsgaard.dk # fast
git clone https://src.adamsgaard.dk/adamsgaard.dk.git # slow
Log | Files | Refs | README | LICENSE Back to index

commit 71e975f0e66fccea5b8de7db332845b8126b9c3c
parent 4d08fa413266fe86b453f227b4c35fc2247e26fc
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date:   Fri, 18 Dec 2020 12:24:42 +0100

style.css: fix font specification for title banner

Diffstat:
Mstyle.css | 4+++-
1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/style.css b/style.css @@ -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%; }