|
@@ -199,3 +199,33 @@ div.toc:hover {
|
|
|
div.toc {
|
|
|
background-color: rgba(255, 255, 255, 0.7);
|
|
|
}
|
|
|
+
|
|
|
+/* This is for a more detailed equivalent of option->descriptions
|
|
|
+ * (perhaps it can be used more generally as well).
|
|
|
+ * Creates a description list with highlighted items titles
|
|
|
+ * but not too visible in the overall text flow. */
|
|
|
+.option_descriptions dt {
|
|
|
+ font-weight: bold;
|
|
|
+ color: #222;
|
|
|
+}
|
|
|
+
|
|
|
+table.compact {
|
|
|
+ font-size: 80%;
|
|
|
+}
|
|
|
+
|
|
|
+/* default style is too spread out */
|
|
|
+table.compact td, table.compact th {
|
|
|
+ padding-left: 0.5em;
|
|
|
+ padding-right: 0.2em;
|
|
|
+ padding-top: 0.2em;
|
|
|
+ padding-bottom: 0.2em;
|
|
|
+}
|
|
|
+
|
|
|
+/* do table using alternate colors of rows */
|
|
|
+table.compact tr:nth-child(odd) {
|
|
|
+ background: #EEE;
|
|
|
+}
|
|
|
+
|
|
|
+table.compact tr:nth-child(even) {
|
|
|
+ background: #FFF;
|
|
|
+}
|