From f0421265e6be67afbeaa418eb4abc8c926cfd8e5 Mon Sep 17 00:00:00 2001 From: Ceri Davies Date: Sun, 26 Feb 2006 13:16:52 +0000 Subject: [PATCH] Group elements with the same style information together. No functional change. --- share/misc/docbook.css | 36 +++++++++--------------------------- 1 file changed, 9 insertions(+), 27 deletions(-) diff --git a/share/misc/docbook.css b/share/misc/docbook.css index 61458d04d7..1220b3c3da 100644 --- a/share/misc/docbook.css +++ b/share/misc/docbook.css @@ -68,38 +68,29 @@ DIV.PROCEDURE P B { color: #990000; } -BODY H1 { +BODY H1, BODY H2, BODY H3, BODY H4, BODY H5, BODY H6 { + line-height: 1.3; + margin-left: 0; +} + +BODY H1, BODY H2 { margin: .8em 0 0 -4%; - line-height: 1.3; } -BODY H2 { - margin: .8em 0 0 -4%; - line-height: 1.3; -} - -BODY H3 { +BODY H3, BODY H4 { margin: .8em 0 0 -3%; - line-height: 1.3; -} - -BODY H4 { - margin: .8em 0 0 -3%; - line-height: 1.3; } BODY H5 { margin: .8em 0 0 -2%; - line-height: 1.3; } BODY H6 { margin: .8em 0 0 -1%; - line-height: 1.3; } BODY HR { - margin: .6em + margin: .6em; } BODY IMG.NAVHEADER { @@ -117,11 +108,7 @@ BODY PRE { color: #461b7e; } -BODY TD { - line-height: 1.2 -} - -BODY TH { +BODY TD, BODY TH { line-height: 1.2; } @@ -135,15 +122,10 @@ HTML { padding: 0; } - .FILENAME { color: #007a00; } -BODY H1, BODY H2, BODY H3, BODY H4, BODY H5, BODY H6 { - margin-left: 0 -} - .GUIMENU, .GUIMENUITEM, .GUISUBMENU, .GUILABEL, .INTERFACE, .GUIBUTTON, .SHORTCUT, .SHORTCUT .KEYCAP {