File: stylesheet.jxp

package info (click to toggle)
libjpf-java 1.5.1%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 2,280 kB
  • ctags: 2,079
  • sloc: java: 13,449; xml: 337; sh: 48; makefile: 10
file content (124 lines) | stat: -rw-r--r-- 1,804 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
<%
// Java Plug-in Framework (JPF)
// Copyright (C) 2004 - 2005 Dmitry Olshansky
// $Id$
%>
/* JPF documentation style sheet */

BODY  {
	margin : 10;
	background-color : White;
	color : Black;
    font-size : 100%;
    font-family : Arial, Helvetica, sans-serif;
}

H1 {
	padding: .3em 1em .3em 1em;
	font-size : 130%;
	font-weight: bold;
}

H2 {
	padding: .3em 1em .3em 1em;
	font-size : 120%;
	font-weight: bold;
}

H3 {
	padding: .2em 1em .2em 1em;
	font-size : 120%;
	font-weight: normal;
}

H4 {
	font-size : 110%;
	font-weight: bold;
	margin: .5em 1em .5em 1em;
}

H5 {
	font-size : 110%;
	font-weight: normal;
	margin: .5em 1em .5em 1em;
}

H6 {
	font-size : 100%;
	font-weight: bold;
	margin: .5em 1em .5em 1em;
}

TABLE {
	background-color : White;
	color : Black;
    font-size : 100%;
    font-family : Arial, Helvetica, sans-serif;
}

P {
    font-size : 100%;
    font-family : Arial, Helvetica, sans-serif;
	margin: .5em .7em .7em .7em;
}

A, A:ACTIVE, A:FOCUS, A:LINK, A:VISITED {
	color : #0000CC;
	text-decoration : none;
}

A:HOVER {
	color : #0066FF;
	text-decoration : none;
}

HR {
	width : 100%;
	height : 1px;
	color : Black;
	margin: 1em 0 1em 0;
}

PRE {
	border : 1px outset;
	background-color : #F5F5F5;
	color : Black;
	padding : .5em;
	margin : .5em;
	font-size : 90%;
}

DL, UL, OL {
	font-size : 100%;
}

DT {
	font-size : 100%;
	font-weight : bold;
}

.navbar {
	font-size : 120%;
	font-weight : bold;
}

DIV.footer {
	float : none;
	clear : both;
	margin: 0;
	padding : 1em;
	border-top : 1px solid;
	font-size : 80%;
}

TABLE.parameters {
	border : 1px outset;
}

TR.even {
  background-color : #ddd;
}

TR.odd {
  background-color : #efefef;
}