File: help-styles.css

package info (click to toggle)
pfm 2.0.8-4
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 1,036 kB
  • sloc: tcl: 5,486; sql: 4,835; makefile: 4; sh: 1
file content (117 lines) | stat: -rw-r--r-- 1,692 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
body {
	font-family: sans-serif;
	font-size: 11pt;
	background-color: white;
	color: black;
	margin-left: 2em;
	margin-right: 2em;
}

body.contents {
	padding-left: 0;
	margin-left: 0;
	margin-right: 0;
	width: 30em;
}

div.header {
	border-bottom: 3px solid #36648B;
	height: 100px;
}

div.logo {
	margin-right: 20px;
	float: left;
}

div.logotext {
	font-size: 140%;
	font-weight: bold;
	color: #36648B; /* SteelBlue4 */
}

h1 {
	font-family: sans-serif;
	margin-top: 1em;
	font-weight: bold;
	font-size: 140%;
	color: #36648B; /* SteelBlue4 */
}

h2 {
	font-family: sans-serif;
	margin-top: 1em;
	font-size: 120%;
	font-weight: bold;
	color: #36648B; /* SteelBlue4 */
}

h3 {
	font-family: sans-serif;
	margin-top: 1em;
	font-size: 100%;
	font-weight: bold;
	color: #36648B; /* SteelBlue4 */
}

h1.toc {
	font-family: sans-serif;
	padding-top: 0em;
	border-top-style: none;
	margin-top: 1em;
	text-align:left;
	margin-bottom: 0em;
	margin-left: 0%;
	font-weight: bold;
	font-size: 100%;
}

h2.toc {
	font-family: sans-serif;
	margin-top: 0em;
	margin-bottom: 0em;
	font-size: 100%;
	margin-left: 4%;
	font-weight: bold;
}

h1.toc a:link, h2.toc a:link {
	color: #36648B; /* SteelBlue4 */
}

h1.toc a:visited h2.toc a:visited {
	color: #61437D; /* dark purple */
}

pre {
	font-family: monospace;
	font-size: 10pt;
}

div.title {
	text-align: center;
	font-size: 140%;
	font-family: sans-serif;
	font-weight: bold;
	color: #36648B; /* SteelBlue4 */
}

div.note {
	padding-right: 1em;
	padding-left: 1em;
	border-style: solid;
	border-width: thin;
	margin-top: 1em;
	margin-bottom: 1em;
	color: black;
	background-color: #f4f3d1;
}

p.indent {
	margin-left: 4%;
}

li {
	margin-top: 1em;
}