aboutsummaryrefslogtreecommitdiff
path: root/doc/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/style.css')
-rw-r--r--doc/style.css14
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
index f2f558497..393f40135 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -419,6 +419,20 @@ span.color {
padding: 3px;
}
+label.block {
+ display: block;
+}
+label.inline {
+ display: inline;
+}
+ol.form {
+ list-style: none;
+ padding: 0;
+}
+li.form {
+ padding-bottom: 1em;
+}
+
/* Used by the highlight plugin. */
pre.hl { color:#000000; background-color:#ffffff; }
.hl.num { color:#2928ff; }