9 .table-of-contents h2, h3, h4 {
16 .table-of-contents h2 {
23 .table-of-contents h3 {
30 .table-of-contents h4 {
37 .table-of-contents h5 {
49 text-decoration: none
;
52 a
.none:visited
{ text-decoration: none
; color:black
}
54 a
.none:active
{ text-decoration: none
; color:black
}
56 a
.none:hover
{ text-decoration: none
; color:black
}
59 text-decoration: none
;
63 text-decoration: none
;
67 text-decoration: underline
;
71 text-decoration: underline
;
76 /* @group Reference */
85 border-bottom: 1px solid silver
;
86 border-top: 4px solid gray
;
96 font-family: Georgia
, "Times New Roman", Times
, serif
;
99 margin-bottom: 0.25px;
103 font-family: "Lucida Grande", Lucida
, Verdana
, sans-serif
;
126 .documentation.header {
129 border-top-style: solid
;
130 border-top-width: 1pt;
135 .documentation.contents {
140 .documentation-name {
147 .documentation-kind {
154 .documentation-arguments {
167 background-color: #ffc8ff;
172 font-family: "Courier New", Courier
, mono
;
176 border: 2px inset gray
;
184 border-top-style: inset
;
185 border-top-width: 2px;
189 border-right-style: dotted
;
190 border-right-width: 1px;
191 border-left-style: dotted
;
192 border-left-width: 1px;
193 border-collapse: collapse
;
194 padding-right: 0.25em;
195 padding-left: 0.25em;