diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2015-11-05 07:26:03 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-11-05 07:26:03 +0200 |
| commit | 2075569d9731df51ec111e704d9dfacdc048172e (patch) | |
| tree | 0f73c55a1f29f91c966374c15690c9ec87584d87 /doc | |
| parent | 60223c1696a3b307cf3c566f031528faa2e2ab6e (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/odb-prologue.xhtml | 15 |
1 files changed, 4 insertions, 11 deletions
diff --git a/doc/odb-prologue.xhtml b/doc/odb-prologue.xhtml index 8716731..82f19b4 100644 --- a/doc/odb-prologue.xhtml +++ b/doc/odb-prologue.xhtml @@ -21,23 +21,16 @@ padding-bottom : 0.0em; } - #commands dt { - padding-top : 0.4em; - } - - #commands dd { - padding-bottom : 0.4em; - 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> |