1 pre
{ padding:5px; background-color:#e0e0e0;
13 border: 2px inset gray
;
21 border-top-style: inset
;
22 border-top-width: 2px;
27 border-top: 1px none black
;
28 border-collapse: collapse
;
29 border-bottom: 1px dotted black
;
35 border-right-style: dotted
;
36 border-right-width: 1px;
37 border-left-style: dotted
;
38 border-left-width: 1px;
39 border-collapse: collapse
;
40 padding-right: 0.25em;
53 a
.none
{ text-decoration: none
; color:black
}
54 a
.none:visited
{ text-decoration: none
; color:black
}
55 a
.none:active
{ text-decoration: none
; color:black
}
56 a
.none:hover
{ text-decoration: none
; color:black
}
57 a
{ text-decoration: none
; }
58 a:visited
{ text-decoration: none
; }
59 a:active
{ text-decoration: underline
; }
60 a:hover
{ text-decoration: underline
; }
76 .table-of-contents h1, h2, h3, h4, h5, h6, h7 {
80 .table-of-contents h2 {
85 .table-of-contents h3 {
90 .table-of-contents h4 {
95 .table-of-contents h5 {