From b7dcb3a3aafa3ebfaec4eb1a14cf2cf20da0b0c1 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 5 Nov 2015 07:23:02 +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/xsd-prologue.xhtml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'doc/xsd-prologue.xhtml')

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