From 0a9321047d27095091f6edba7a9f73a22458e98a Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Mon, 4 Nov 2019 00:13:47 +0100
Subject: [PATCH] Slightly decrease font size of inline code

`line-height: 1.9824;` is the result of `calc(1em * 1.4 + 2 * 0.1em + 2 * 1px / 16px / 0.85 + 2 * 0.1em / 0.85)` (`1em * 1.4` equals the line height for code (= `1.4` times), plus `0.1em` vertical padding on top and bottom, plus `1px` border width on top and bottom (`1rem` equals `16px` and considering the smaller font size (= `0.85rem`)), plus `0.1em` vertical margin on top and bottom (also considering the smaller font size).
---
 css/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/css/style.css b/css/style.css
index 758a911..5a384e2 100644
--- a/css/style.css
+++ b/css/style.css
@@ -269,8 +269,8 @@ code {
     border-radius: 0.3em;
     background: #f5f5f5;
     font-family: 'Droid Sans Mono', 'Courier New', 'Courier', monospace;
-    font-size: 0.9rem;
-    line-height: 1.9778;
+    font-size: 0.85rem;
+    line-height: 1.9824;
 }
 
 pre {