recoll / Code / Diff of /src/doc/user/docbook.css

Diff of /src/doc/user/docbook.css [79e106] .. [bf4a2c]

Switch to unified view


...
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 *
 * $FreeBSD: doc/share/misc/docbook.css,v 1.11 2007/07/08 06:23:33 chinsan Exp $
 */

BODY ADDRESS {
    line-height: 1.3;
    margin: .6em 0;
...
DIV.TABLE P B,
DIV.PROCEDURE P B {
    color: #990000;
}

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%;

}

BODY H3, BODY H4 {
    margin: .8em 0 0 -3%;






}

BODY H5 {
    margin: .8em 0 0 -2%;

}

BODY H6 {
    margin: .8em 0 0 -1%;

}

BODY HR {
    margin: .6em;
  border-width: 0 0 1px 0;
  border-style: solid;
  border-color: #cecece;
}

BODY IMG.NAVHEADER {
    margin: 0 0 0 -4%;
}
...
    margin: .75em 0;
    line-height: 1.0;
    color: #461b7e;
}

BODY TD, BODY TH {




    line-height: 1.2;
}

UL, BODY DIR, BODY MENU {
    margin: 0 0 0 5%;
...
HTML {
    margin: 0; 
    padding: 0;
}

BODY P B.APPLICATION {
  color: #000000;
}

.FILENAME {
    color: #007a00;
}





.GUIMENU, .GUIMENUITEM, .GUISUBMENU,
.GUILABEL, .INTERFACE, .GUIBUTTON,
.SHORTCUT, .SHORTCUT .KEYCAP {
    background-color: #CFCFCF;
}

.ACCEL {
    background-color: #F0F0F0;
    text-decoration: underline;

	a/src/doc/user/docbook.css		b/src/doc/user/docbook.css
	...		...
21	* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT	21	* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22	* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY	22	* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23	* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF	23	* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24	* SUCH DAMAGE.	24	* SUCH DAMAGE.
25	*	25	*
26	* $FreeBSD: doc/share/misc/docbook.css,v 1.7 2004/03/22 19:17:52 ceri Exp $	26	* $FreeBSD: doc/share/misc/docbook.css,v 1.11 2007/07/08 06:23:33 chinsan Exp $
27	*/	27	*/
28		28
29	BODY ADDRESS {	29	BODY ADDRESS {
30	line-height: 1.3;	30	line-height: 1.3;
31	margin: .6em 0;	31	margin: .6em 0;
	...		...
66	DIV.TABLE P B,	66	DIV.TABLE P B,
67	DIV.PROCEDURE P B {	67	DIV.PROCEDURE P B {
68	color: #990000;	68	color: #990000;
69	}	69	}
70		70
71	BODY H1 {	71	BODY H1, BODY H2, BODY H3, BODY H4, BODY H5, BODY H6 {
72	margin: .8em 0 0 -4%;
73	line-height: 1.3;	72	line-height: 1.3;
		73	margin-left: 0;
74	}	74	}
75		75
76	BODY H2 {	76	BODY H1, BODY H2 {
77	margin: .8em 0 0 -4%;	77	margin: .8em 0 0 -4%;
78	line-height: 1.3;
79	}	78	}
80		79
81	BODY H3 {	80	BODY H3, BODY H4 {
82	margin: .8em 0 0 -3%;	81	margin: .8em 0 0 -3%;
83	line-height: 1.3;
84	}
85
86	BODY H4 {
87	margin: .8em 0 0 -3%;
88	line-height: 1.3;
89	}	82	}
90		83
91	BODY H5 {	84	BODY H5 {
92	margin: .8em 0 0 -2%;	85	margin: .8em 0 0 -2%;
93	line-height: 1.3;
94	}	86	}
95		87
96	BODY H6 {	88	BODY H6 {
97	margin: .8em 0 0 -1%;	89	margin: .8em 0 0 -1%;
98	line-height: 1.3;
99	}	90	}
100		91
101	BODY HR {	92	BODY HR {
102	margin: .6em	93	margin: .6em;
		94	border-width: 0 0 1px 0;
		95	border-style: solid;
		96	border-color: #cecece;
103	}	97	}
104		98
105	BODY IMG.NAVHEADER {	99	BODY IMG.NAVHEADER {
106	margin: 0 0 0 -4%;	100	margin: 0 0 0 -4%;
107	}	101	}
	...		...
115	margin: .75em 0;	109	margin: .75em 0;
116	line-height: 1.0;	110	line-height: 1.0;
117	color: #461b7e;	111	color: #461b7e;
118	}	112	}
119		113
120	BODY TD {	114	BODY TD, BODY TH {
121	line-height: 1.2
122	}
123
124	BODY TH {
125	line-height: 1.2;	115	line-height: 1.2;
126	}	116	}
127		117
128	UL, BODY DIR, BODY MENU {	118	UL, BODY DIR, BODY MENU {
129	margin: 0 0 0 5%;	119	margin: 0 0 0 5%;
	...		...
133	HTML {	123	HTML {
134	margin: 0;	124	margin: 0;
135	padding: 0;	125	padding: 0;
136	}	126	}
137		127
		128	BODY P B.APPLICATION {
		129	color: #000000;
		130	}
138		131
139	.FILENAME {	132	.FILENAME {
140	color: #007a00;	133	color: #007a00;
141	}	134	}
142		135
143	BODY H1, BODY H2, BODY H3, BODY H4, BODY H5, BODY H6 {
144	margin-left: 0
145	}
146
147	.GUIMENU, .GUIMENUITEM, .GUISUBMENU,	136	.GUIMENU, .GUIMENUITEM, .GUISUBMENU,
148	.GUILABEL, .INTERFACE, .GUIBUTTON,	137	.GUILABEL, .INTERFACE, .GUIBUTTON,
149	.SHORTCUT, .SHORTCUT .KEYCAP {	138	.SHORTCUT, .SHORTCUT .KEYCAP {
150	background-color: #F0F0F0;	139	background-color: #CFCFCF;
151	}	140	}
152		141
153	.ACCEL {	142	.ACCEL {
154	background-color: #F0F0F0;	143	background-color: #F0F0F0;
155	text-decoration: underline;	144	text-decoration: underline;