From e17c2db7775f71e8f5678e77e941b50fedebea40 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 25 Jul 2014 10:33:30 +0100 Subject: [PATCH] scribble: fix spacing after a 'compact enumeration original commit: 70afd4b6b18b6140a5b91c7349798ce10d92dde3 --- .../scribble-pkgs/scribble-doc/scribblings/scribble/demo.scrbl | 2 ++ pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css | 3 +++ 2 files changed, 5 insertions(+) diff --git a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/demo.scrbl b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/demo.scrbl index d9e0bfec..037ea0e5 100644 --- a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/demo.scrbl +++ b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/demo.scrbl @@ -265,6 +265,8 @@ This one is ``compact'': ] +This paragraph follows the enumeration above. + @; ====================================================================== @section{Paragraph Spacing} diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css index bd203235..fa7e8cc8 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css @@ -88,6 +88,9 @@ p, .SIntrapara { line-height: 1.4; } +.compact { + padding: 0 0 1em 0; +} li { list-style-position: outside;