summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-11-05 07:23:02 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-11-05 07:23:02 +0200
commitb7dcb3a3aafa3ebfaec4eb1a14cf2cf20da0b0c1 (patch)
tree0c153cf57b8328af49beea23527aa4aa200906a9 /doc
parent059dada584c1516571b0ade3cfb1f091cdca700b (diff)
Update HTML style to work with new CLI
Specifically, now each option class gets its own <dl> so use margin instead of padding to make it look like one continuous list.
Diffstat (limited to 'doc')
-rw-r--r--doc/xsd-prologue.xhtml10
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/xsd-prologue.xhtml b/doc/xsd-prologue.xhtml
index 262cfd1..6c307ef 100644
--- a/doc/xsd-prologue.xhtml
+++ b/doc/xsd-prologue.xhtml
@@ -31,14 +31,16 @@
padding-left : 2em;
}
+ .options {
+ margin: 1em 0 1em 0;
+ }
+
.options dt {
- padding-top : 0.4em;
+ margin: 1em 0 0 0;
}
.options dd {
- padding-top : 0.1em;
- padding-bottom : 0.4em;
- padding-left : 1.4em;
+ margin: .1em 0 0 4.5em;
}
</style>