padding: 0 0.2em;
}
+/* page-specific */
+
+#browser .aside {
+ font-size: 80%;
+ overflow: hidden;
+ height: 0;
+ -webkit-transition: all 1s ease-in;
+ -o-transition: all 1s ease-in;
+ -moz-transition: all 1s ease-in;
+ transition: height 1s ease-in;
+}
+#browser .aside p {
+ margin: 1ex 0;
+}
+#browser tr.target .aside,
+#browser tr:target .aside {
+ height: auto;
+}
+#browser td.X {
+ white-space: nowrap; /* some browsers break on dashes */
+}
+
/* printing hints */
@page {