diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/style.css | 14 |
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; } |