From 8df53d2b323193cca6a6fa09aa322deeed746763 Mon Sep 17 00:00:00 2001 From: Jon Sterling Date: Sat, 13 Apr 2024 12:09:52 +0100 Subject: [PATCH] slightly increase line spacing --- style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/style.css b/style.css index 936d71a..472c8c6 100644 --- a/style.css +++ b/style.css @@ -130,7 +130,7 @@ code { body { font-family: "Inria Sans"; font-size: 12pt; - line-height: 1.5em; + line-height: 1.55; } .logo { -- 2.51.2