commit 7b0e0b2a50867feea664eab3b29d2dd7d223108a
author Marc Kupietz <kupietz@ids-mannheim.de> Fri Dec 06 15:27:20 2019 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> Fri Dec 06 15:27:20 2019 +0100
tree 3ec7d7ea7b886dc61abfd33002b66886bb4fc0ce
parent bb0f3fc3886063dab1b5439f51e84c2cbcf259a9

derekovecs: usa smaller bread fonts and more line height

css/derekovecs.css

diff --git a/css/derekovecs.css b/css/derekovecs.css
index f6caa72..88e4904 100644
--- a/css/derekovecs.css
+++ b/css/derekovecs.css
@@ -3,6 +3,11 @@
     font-size: 11pt;
 }
 
+p {
+    line-height: 150%;
+    font-size: 10pt;
+}
+
 .footer {
     font-size: 8pt;
     margin-top: 4px;
@@ -92,6 +97,8 @@
 
 .mono {
     font-family: "DejaVu Sans Mono", Inconsolata, SourceCodePro, "Courier New", Courier, monospace;
+    font-size: 9pt;
+    line-height: 150%;
 }
 
 .ui-tooltip-content {