From 2075569d9731df51ec111e704d9dfacdc048172e Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 5 Nov 2015 07:26:03 +0200
Subject: 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.
---
 doc/odb-prologue.xhtml | 15 ++++-----------
 1 file changed, 4 insertions(+), 11 deletions(-)

(limited to 'doc')

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>
-- 
cgit v1.1