+ table.keys {
+ width: 62.1em; /* 82.5em - 12 * Δtd(6.2em - 4.5em) */
+ }
+ @media (max-width: 61em) {
+ .keys td {
+ width: 3em;
+ height: 6.75ex; /* 3 lines */
+ font-size: 80%;
+ }
+ table.keys {
+ width: 37em; /* (12 * td(3em + 6px) + 8em) * 80% */
+ }
+ }