1body pre {
2  margin: 0.5em 10% 0.5em 1em;
3  line-height: 1.0;
4  color: navy;
5}
6dl {
7  margin: .2em 0;
8  line-height: 1.2;
9}
10
11dt {
12  margin-top: 0.1em;
13}
14
15span.man-highlight { background: yellow; }
16
17a.st-desc {
18	font-weight: bold;
19	color: black;
20	text-decoration: none;
21}
22
23a.st-desc:visited {
24	font-weight: bold;
25	color: black;
26	text-decoration: none;
27}
28
29a.st-desc:hover {
30	text-decoration: underline;
31}
32
33a.st-synopsis {
34	font-weight: bold;
35	color: black;
36	text-decoration: none;
37}
38
39a.st-synopsis:visited {
40	font-weight: bold;
41	color: black;
42	text-decoration: none;
43}
44
45a.st-synopsis:hover {
46	text-decoration: underline;
47}
48