/* 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 */