width: 4.5em;
}
.keys td b,
- .keys.meta td b,
- .keys.ctrl td b,
- .keys.lead td b { /* leading chars always fit */
+ .keys .meta td b,
+ .keys .ctrl td b,
+ .keys .lead td b { /* leading chars always fit */
position: absolute; /* background */
right: 0; /* least overlap in corner */
font-size: 250%;
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% */
}