diff options
author | Nik Clayton <nik@FreeBSD.org> | 2001-07-11 12:46:50 +0000 |
---|---|---|
committer | Nik Clayton <nik@FreeBSD.org> | 2001-07-11 12:46:50 +0000 |
commit | 5ad75c7dcb6ee3ad9261ebade7bdaa856124c409 (patch) | |
tree | 9b3434becb3b3bc88d6c10e482936bba2482de08 /share | |
parent | 59286a2bf2829fdb665d831404f319425dea45bb (diff) | |
download | doc-5ad75c7dcb6ee3ad9261ebade7bdaa856124c409.tar.gz doc-5ad75c7dcb6ee3ad9261ebade7bdaa856124c409.zip |
Be a little more conservative with the line height to try and placate those
on -doc who don't share my sense of the aesthetic
Try a better fix at the 'stair stepping' in lists -- the previous fix only
worked for lists that were children of the BODY element, so it didn't have
any effect on those that were (for example) enclosed inside a
<DIV CLASS="PROCEDURE">.
Notes
Notes:
svn path=/head/; revision=9834
Diffstat (limited to 'share')
-rw-r--r-- | share/misc/docbook.css | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/share/misc/docbook.css b/share/misc/docbook.css index e9d98dcf8b..3e4bcd9683 100644 --- a/share/misc/docbook.css +++ b/share/misc/docbook.css @@ -23,7 +23,7 @@ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF * SUCH DAMAGE. * - * $FreeBSD: doc/share/misc/docbook.css,v 1.2 2001/06/20 16:23:30 nik Exp $ + * $FreeBSD: doc/share/misc/docbook.css,v 1.3 2001/07/03 12:30:32 nik Exp $ */ BODY ADDRESS { @@ -39,7 +39,7 @@ BODY BLOCKQUOTE { HTML BODY { margin: 1em 8% 1em 10%; - line-height: 1.5; + line-height: 1.2; } .LEGALNOTICE { @@ -51,7 +51,7 @@ BODY DIV { margin: 0; } -BODY DL { +DL { margin: .8em 0; line-height: 1.2; } @@ -106,14 +106,14 @@ BODY IMG.NAVHEADER { margin: 0 0 0 -4%; } -BODY OL { +OL { margin: 0 0 0 5%; - line-height: 1.5; + line-height: 1.2; } BODY P { margin: .6em 0; - line-height: 1.5; + line-height: 1.2; } BODY PRE { @@ -123,16 +123,16 @@ BODY PRE { } BODY TD { - line-height: 1.3 + line-height: 1.2 } BODY TH { - line-height: 1.3; + line-height: 1.2; } -BODY UL, BODY DIR, BODY MENU { +UL, BODY DIR, BODY MENU { margin: 0 0 0 5%; - line-height: 1.5; + line-height: 1.2; } HTML { |