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