diff options
Diffstat (limited to 'doc/cli-prologue.xhtml')
| -rw-r--r-- | doc/cli-prologue.xhtml | 15 |
1 files changed, 4 insertions, 11 deletions
diff --git a/doc/cli-prologue.xhtml b/doc/cli-prologue.xhtml index b9e2f30..88d1e6b 100644 --- a/doc/cli-prologue.xhtml +++ b/doc/cli-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> |