keys: wide padded key style on windows >1440x996 px

Same size at 90% zoom but less cramped.

diff --git a/base.css b/base.css
index d728a399f342ad065c25118ddcf14d031f6a1bb9..9ca098d9231f2072d2c1515e5de67cba9f238829 100644 (file)
--- 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 */