From e7cbf3dee778444e2c24e01fb09980af945f1b86 Mon Sep 17 00:00:00 2001 From: Mischa POSLAWSKY Date: Wed, 8 Sep 2021 14:37:29 +0200 Subject: [PATCH] keys: wide padded key style on windows >1440x996 px Same size at 90% zoom but less cramped. --- base.css | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/base.css b/base.css index d728a39..9ca098d 100644 --- a/base.css +++ b/base.css @@ -876,6 +876,16 @@ body .magic-perma { /* terse optimisation */ +@media (min-height: 112ex) and (min-width: 90em) { + table.keys { + width: auto; + } + .keys td { + padding: 1ex 0 1ex .1em; + width: 7em; + } +} + @media (max-width: 79em) { .keys td { position: relative; /* hides overflow */ -- 2.30.0