src/doc/style.css


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

#titlearea,
address,
a[href="namespaces.html"]
{ display: none; }

h2.groupheader { margin-top: revert; }

dl {
	padding: 4px 12px !important;
	border-radius: 8px !important;
	border: 0 !important;
}
dt {
	margin-bottom: 0.5ex;
}

a:hover {
	text-decoration: revert !important;
	background: unset !important;
}

dl.section.see,
dl.section.user {
	padding: 0 !important;
	border-radius: 0 !important;
	margin-top: 0;
}
dl.section.see dt,
dl.section.user dt {
	font-size: 130%;
	margin-bottom: 0.5ex;
	margin-top: 1.5ex;
}