From e7c9151b10168d3da6485fbce2dab1e378daa5ad Mon Sep 17 00:00:00 2001
From: Mark Lentczner <markl@glyphic.com>
Date: Thu, 26 Aug 2010 23:44:13 +0000
Subject: [PATCH] fixed CSS for ordered lists and def lists in doc blocks

---
 html/Ocean.std-theme/ocean.css   | 28 +++++++++++++++++++++++-----
 tests/golden-tests/tests/Test.hs |  4 ++++
 2 files changed, 27 insertions(+), 5 deletions(-)

diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css
index b3fc16b7cf..52292eafa1 100644
--- a/html/Ocean.std-theme/ocean.css
+++ b/html/Ocean.std-theme/ocean.css
@@ -18,7 +18,21 @@ p {
   margin: 0.8em 0;
 }
 
-ul { margin-left: 2em; }
+ul, ol {
+  margin: 0.8em 0 0.8em 2em;
+}
+
+dl {
+  margin: 0.8em 0;
+}
+
+dt {
+  margin-top: 0.8em;
+  font-weight: bold;
+}
+dd {
+  margin-left: 2em;
+}
 
 a { text-decoration: none; }
 a[href]:link { color: rgb(196,69,29); }
@@ -381,14 +395,18 @@ div#style-menu-holder {
   margin-top: 0.8em;
 }
 
-#interface dt {
+.subs dl {
+  margin: 0;
+}
+
+.subs dt {
   float: left;
   clear: left;
   display: block;
   margin: 1px 0;
 }
 
-#interface dd {
+.subs dd {
   float: right;
   width: 90%;
   display: block;
@@ -396,11 +414,11 @@ div#style-menu-holder {
   margin-bottom: 0.5em;
 }
 
-#interface dd.empty {
+.subs dd.empty {
   display: none;
 }
 
-#interface dd p {
+.subs dd p {
   margin: 0;
 }
 
diff --git a/tests/golden-tests/tests/Test.hs b/tests/golden-tests/tests/Test.hs
index 230f32d8ba..d7a0a71607 100644
--- a/tests/golden-tests/tests/Test.hs
+++ b/tests/golden-tests/tests/Test.hs
@@ -240,6 +240,10 @@ using double quotes: "Foo".  We can add emphasis /like this/.
    (1) This is an ordered list
  
    2. This is the next item (different kind of bullet)
+   
+   [cat] a small, furry, domesticated mammal
+   
+   [pineapple] a fruit grown in the tropics
 
 @
      This is a block of code, which can include other markup: 'R'
-- 
GitLab