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 */
}
td.di-d {background: #FFD} /* rfc-1345 digraph */
td.di-prop {background: #FED} /* proposed digraph */
td.di-a {background: #EFD} /* ascii */
+td.di-aa {background: #DFD} /* ascii */
td.di-rare {background: #EEE} /* disfavoured */
td.di-invalid {background: #BBB} /* impossible */
td.di-d:hover {background: #FF8}
td.di-prop:hover {background: #FC8}
td.di-a:hover {background: #CF8}
+td.di-aa:hover {background: #8F8}
/* key type colorization */
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;