From 1d6eab5fa03b9b245c50637bae352344f9f53ef5 Mon Sep 17 00:00:00 2001 From: Mischa POSLAWSKY Date: Wed, 21 Feb 2018 09:52:50 +0100 Subject: [PATCH] keys: lower background letters in portrait styling Larger key height leaves more space in bottom. --- base.css | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/base.css b/base.css index a8fc2d2..e7c9105 100644 --- a/base.css +++ b/base.css @@ -751,6 +751,13 @@ nav > .section { height: 6.75ex; /* 3 lines */ font-size: 80%; } + .keys td b, + .keys .meta td b, + .keys .ctrl td b, + .keys .lead td b { + line-height: 4ex; + } + table.keys { width: 37em; /* (12 * td(3em + 6px) + 8em) * 80% */ } -- 2.30.0