position: relative; /* prevents buggy hovering in table if caption present in gecko */
margin: 1ex 1ex 2ex;
}
+.section .section {
+ float: left;
+}
#charset .section table {
margin: -0.5ex 0 1ex; /* headers provide sufficient spacing already */
}
padding: 1px; /* same size as borderlessless keys */
}
+dl.legend dt.more,
+ul.keys li.more b {
+ text-shadow: #F20 0 0 0.1em;
+}
+dl.legend dt.more:hover,
+ul.keys li.more:hover b {
+ text-shadow: #F20 0 0 0.5em, #FC0 0 0 0.2em;
+}
dl.legend dt.ext,
ul.keys li.ext {
border-style: dashed;