caption {
margin: 1ex;
}
+caption aside {
+ position: absolute;
+ margin-left: 1ex;
+ font-weight: normal;
+ display: inline;
+}
hr {
clear: both;
margin: 2ex auto;
clear: both;
}
+.error > * {
+ margin-bottom: 1ex;
+}
+.error > *:last-child {
+ margin-bottom: 0;
+}
ul {
margin: 0;
list-style: none;
}
-#source pre {
+pre {
display: inline-block;
text-align: left;
}
+#sample > pre {
+ width: 78ch;
+ padding: 0 1em;
+ border-width: 0 1px;
+ border-style: solid;
+}
h2 small {
position: absolute; /* side note; do not influence alignment */
border-bottom: none;
}
td.joinu {
- border-top: none;
+ /* first cell determines border width for entire row */
+ border-top-color: transparent;
}
td.joinr {
border-right: none;
font-size: 200%;
}
.glyphs .glyphs {
- margin: 0.5ex 0;
+ margin: 0.5ex 0; /* nested in legend */
}
.glyphs .glyphs td {
font-size: 100%;
}
+.cover td {
+ min-width: 2.5ex; /* square cells */
+}
+
/* table headers */
th,
tfoot td,
thead td {
- border: 0;
+ border-width: 0;
background: transparent;
}
.glyphs thead td {
padding-bottom: 1.1ex; /* reserve space for label */
vertical-align: bottom;
}
-.glyphs small {
+.glyphs.dilabel small {
font-size: 50%;
display: block;
margin-top: 0.2ex;
margin-bottom: -2.2ex; /* take cell padding */
}
-.glyphs small.digraph {
+.glyphs.dilabel small.digraph {
background: #000;
color: #FFF;
opacity: 0.3;
}
-.glyphs small.value {
+.glyphs.dilabel small.value {
background: #600;
color: #FFF;
opacity: 0.3;
.sy-error { font-weight: bold; background-color: #F00; color: #FFF }
.sy-todo { background-color: #FF0 }
+/* boolean alternate */
+.glyphs b { font-weight: normal; color: #800 }
+
/* hover effects */
.X:hover {cursor: help}
.X:hover > span {background: #FFF} /* whitespace marker */
right: 1em;
}
+.family-name {
+ font-variant: small-caps;
+}
+
+#index nav {
+ columns: 3;
+ -moz-columns: 3;
+ -webkit-columns: 3;
+}
+nav > .section {
+ break-inside: avoid;
+ -webkit-column-break-inside: avoid; /* webkit */
+ page-break-inside: avoid; /* moz */
+}
+#index nav a {
+ display: inline-block;
+ margin-top: 1em;
+}
+
/* printing hints */
@page {