~ chicken-core (chicken-5) /manual.css

 1h1, h2, h3, h4, h5, h6 { font-family: sans-serif; }
 2.node P {
 3  background: #2965AB;
 4  color: white;
 5  margin: 0;  padding: 0.5em 0.5em 0.5em;
 6  border-bottom: outset 3px #4985CB;
 7  border-right: outset 3px #4985CB;
 8  font-family: sans-serif;
 9  font-weight: bold;
10  font-size: 10pt;
11}
12.node A {
13  font-weight: normal;
14  text-decoration: none;
15  color: white;
16}
17.node A[name] {
18  font-weight: bold;
19  color: black;
20}
21.node A[href] {
22  color: #c0c0c0;
23  border-bottom-style: dotted;
24}
25.node A[href]:hover {
26  border-bottom-color: darkred;
27}
28A[href] {
29  border-bottom: 1px solid black;
30}
31PRE
32{
33  background: #efeee0;
34  color: black;
35  padding: 0.1em;
36  border: 1px solid #bbbaaf;
37  /* border-bottom: outset 3px #bbbaaf; */
38  /* border-right: outset 3px #bbbaaf; */
39}
40PRE.lisp
41{
42  border: none;
43  background: #f5f5f5;
44}
45.node HR, .node BR {
46  display: none;
47}
48A[href]:hover {
49  border-bottom: 1px solid red;
50}
51A {
52  color: #3e42d9;
53  text-decoration: none;
54}
55UL A[href] {
56  border-bottom: none;
57}