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;