line-height: 2.5ex; /* inherits otherwise */
padding-left: 2px;
}
-ul.keys.omni li { /* omni-present esc */
+.row0 ul.keys li { /* omni-present esc */
width: 8.5em;
}
.diinfo {
-moz-column-width: 24em;
+ column-width: 24em;
}
.diinfo > div {
overflow: hidden;
margin: 0 0 1px; /* distinct keys */
height: auto; /* not key-height */
padding: 2px 0;
- width: auto; /* not center-aligned */
}
dl.legend dd {
margin: 3px 0.4em 0; /* align text (add dt border+padding height) */