diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2015-11-05 07:23:02 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-11-05 07:23:02 +0200 |
commit | b7dcb3a3aafa3ebfaec4eb1a14cf2cf20da0b0c1 (patch) | |
tree | 0c153cf57b8328af49beea23527aa4aa200906a9 /doc/xsd-prologue.xhtml | |
parent | 059dada584c1516571b0ade3cfb1f091cdca700b (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/xsd-prologue.xhtml')
-rw-r--r-- | doc/xsd-prologue.xhtml | 10 |
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> |