Group elements with the same style information together.

No functional change.
This commit is contained in:
Ceri Davies 2006-02-26 13:16:52 +00:00
parent 6f8dd981c3
commit f0421265e6
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=27235

View file

@ -68,38 +68,29 @@ DIV.PROCEDURE P B {
color: #990000; 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%; margin: .8em 0 0 -4%;
line-height: 1.3;
} }
BODY H2 { BODY H3, BODY H4 {
margin: .8em 0 0 -4%;
line-height: 1.3;
}
BODY H3 {
margin: .8em 0 0 -3%; margin: .8em 0 0 -3%;
line-height: 1.3;
}
BODY H4 {
margin: .8em 0 0 -3%;
line-height: 1.3;
} }
BODY H5 { BODY H5 {
margin: .8em 0 0 -2%; margin: .8em 0 0 -2%;
line-height: 1.3;
} }
BODY H6 { BODY H6 {
margin: .8em 0 0 -1%; margin: .8em 0 0 -1%;
line-height: 1.3;
} }
BODY HR { BODY HR {
margin: .6em margin: .6em;
} }
BODY IMG.NAVHEADER { BODY IMG.NAVHEADER {
@ -117,11 +108,7 @@ BODY PRE {
color: #461b7e; color: #461b7e;
} }
BODY TD { BODY TD, BODY TH {
line-height: 1.2
}
BODY TH {
line-height: 1.2; line-height: 1.2;
} }
@ -135,15 +122,10 @@ HTML {
padding: 0; padding: 0;
} }
.FILENAME { .FILENAME {
color: #007a00; color: #007a00;
} }
BODY H1, BODY H2, BODY H3, BODY H4, BODY H5, BODY H6 {
margin-left: 0
}
.GUIMENU, .GUIMENUITEM, .GUISUBMENU, .GUIMENU, .GUIMENUITEM, .GUISUBMENU,
.GUILABEL, .INTERFACE, .GUIBUTTON, .GUILABEL, .INTERFACE, .GUIBUTTON,
.SHORTCUT, .SHORTCUT .KEYCAP { .SHORTCUT, .SHORTCUT .KEYCAP {