[29] | 1 | /* |
---|
| 2 | * © Copyright Jonathan Turkanis 2004. Use, modification, and distribution are |
---|
| 3 | * subject to the Boost Software License, Version 1.0. (See accompanying file |
---|
| 4 | * LICENSE_1_0.txt or copy at www.boost.org/LICENSE_1_0.txt) |
---|
| 5 | * |
---|
| 6 | * Adapted Boost.Spirit stylesheet (www.boost.org/libs/spirit) |
---|
| 7 | */ |
---|
| 8 | |
---|
| 9 | BODY |
---|
| 10 | { |
---|
| 11 | background-color: #FFFFFF; |
---|
| 12 | margin: 1em 2em 1em 2em; |
---|
| 13 | } |
---|
| 14 | |
---|
| 15 | H1, H2, H3, H4, H5, H6 |
---|
| 16 | { |
---|
| 17 | font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif; |
---|
| 18 | font-weight: bold; |
---|
| 19 | text-align: left; |
---|
| 20 | color: black |
---|
| 21 | } |
---|
| 22 | |
---|
| 23 | H1 { text-align: left } |
---|
| 24 | H2 { font-size: 140% } |
---|
| 25 | H3 { font-size: 120% } |
---|
| 26 | H5 { font-style: italic } |
---|
| 27 | H6 { font-variant: small-caps } |
---|
| 28 | |
---|
| 29 | A: { text-decoration:none } |
---|
| 30 | A:link { text-decoration:none } |
---|
| 31 | A:visited { text-decoration:none } |
---|
| 32 | A:active { text-decoration:none } |
---|
| 33 | A:hover { text-decoration:underline } |
---|
| 34 | |
---|
| 35 | DL |
---|
| 36 | { |
---|
| 37 | margin-top:0;margin-bottom:0; |
---|
| 38 | padding-top:0;padding-bottom:0 |
---|
| 39 | } |
---|
| 40 | DT DL { margin-left:2em; } |
---|
| 41 | |
---|
| 42 | PRE |
---|
| 43 | { |
---|
| 44 | border-top: gray 1pt solid; |
---|
| 45 | border-right: gray 1pt solid; |
---|
| 46 | border-left: gray 1pt solid; |
---|
| 47 | border-bottom: gray 1pt solid; |
---|
| 48 | |
---|
| 49 | padding-top: 2pt; |
---|
| 50 | padding-right: 2pt; |
---|
| 51 | padding-left: 2pt; |
---|
| 52 | padding-bottom: 2pt; |
---|
| 53 | |
---|
| 54 | display: block; |
---|
| 55 | font-family: "courier new", courier, mono; |
---|
| 56 | background-color: #eeeeee; font-size: small |
---|
| 57 | } |
---|
| 58 | |
---|
| 59 | PRE.plain_code |
---|
| 60 | { |
---|
| 61 | font-size: 100%; |
---|
| 62 | background-color:#FFFFFF; |
---|
| 63 | border:none; |
---|
| 64 | margin:0; |
---|
| 65 | padding:0 |
---|
| 66 | } |
---|
| 67 | |
---|
| 68 | PRE.plain |
---|
| 69 | { |
---|
| 70 | font-family: "Times New Roman", Times, serif |
---|
| 71 | font-size: 100%; |
---|
| 72 | background-color:#FFFFFF; |
---|
| 73 | border:none; |
---|
| 74 | margin:0; |
---|
| 75 | padding:0 |
---|
| 76 | } |
---|
| 77 | |
---|
| 78 | PRE.broken_ie |
---|
| 79 | { |
---|
| 80 | font-size: 10pt |
---|
| 81 | } |
---|
| 82 | |
---|
| 83 | /* H3 CODE { font-size: 120% } */ |
---|
| 84 | |
---|
| 85 | CODE |
---|
| 86 | { |
---|
| 87 | font-family: "Courier New", Courier, mono |
---|
| 88 | } |
---|
| 89 | |
---|
| 90 | P CODE { font-size: 80% } |
---|
| 91 | T CODE { font-size: 80% } |
---|
| 92 | TD CODE { font-size: 80% } |
---|
| 93 | TH CODE { font-size: 80% } |
---|
| 94 | DL CODE { font-size: 80% } |
---|
| 95 | DT CODE { font-size: 80% } |
---|
| 96 | UL CODE { font-size: 80% } |
---|
| 97 | OL CODE { font-size: 80% } |
---|
| 98 | H3 CODE { font-size: 105% } |
---|
| 99 | H4 CODE { font-size: 105% } |
---|
| 100 | |
---|
| 101 | TT |
---|
| 102 | { |
---|
| 103 | display: inline; |
---|
| 104 | font-family: "Courier New", Courier, mono; |
---|
| 105 | color: #000099; |
---|
| 106 | font-size: small |
---|
| 107 | } |
---|
| 108 | |
---|
| 109 | P |
---|
| 110 | { |
---|
| 111 | font-family: "Times New Roman", Times, serif |
---|
| 112 | } |
---|
| 113 | |
---|
| 114 | UL |
---|
| 115 | { |
---|
| 116 | font-family: "Times New Roman", Times, serif |
---|
| 117 | } |
---|
| 118 | |
---|
| 119 | OL |
---|
| 120 | { |
---|
| 121 | font-family: "Times New Roman", Times, serif |
---|
| 122 | } |
---|
| 123 | |
---|
| 124 | UL LI |
---|
| 125 | { |
---|
| 126 | list-style-type: square; |
---|
| 127 | list-style-image: url("wedge.gif"); |
---|
| 128 | } |
---|
| 129 | |
---|
| 130 | TABLE { margin-left:2em } |
---|
| 131 | TABLE.concept { margin-left:0 } |
---|
| 132 | |
---|
| 133 | /* LI.square { list-style-type: square } */ |
---|
| 134 | |
---|
| 135 | /* A.footnote_ref { text-decoration: none } */ |
---|
| 136 | /* A.bib_ref { text-decoration: none } */ |
---|
| 137 | |
---|
| 138 | A.caption_ref::visited { color: black } |
---|
| 139 | |
---|
| 140 | A::visited { color: #3344cc } |
---|
| 141 | |
---|
| 142 | H4.banner { margin:.3em } |
---|
| 143 | |
---|
| 144 | TD.banner { text-align:center } |
---|
| 145 | |
---|
| 146 | A.banner |
---|
| 147 | { |
---|
| 148 | color: black; |
---|
| 149 | font-size: 120% |
---|
| 150 | font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif; |
---|
| 151 | font-weight: bold; |
---|
| 152 | text-decoration:none |
---|
| 153 | } |
---|
| 154 | |
---|
| 155 | .menu |
---|
| 156 | { |
---|
| 157 | color: black; |
---|
| 158 | font-size: 70%; |
---|
| 159 | font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif; |
---|
| 160 | font-weight: bold; |
---|
| 161 | text-decoration:none; |
---|
| 162 | } |
---|
| 163 | A.menu:visited { color: black; } |
---|
| 164 | |
---|
| 165 | .menu_disabled |
---|
| 166 | { |
---|
| 167 | color: #999999; |
---|
| 168 | font-size: 70%; |
---|
| 169 | font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif; |
---|
| 170 | font-weight: bold; |
---|
| 171 | text-decoration:none; |
---|
| 172 | } |
---|
| 173 | |
---|
| 174 | DIV.nav { text-align: right; padding-top: 0.3em } |
---|
| 175 | .nav A { padding-left: 0.3em } |
---|
| 176 | |
---|
| 177 | .title { text-align: center; margin:1.5em } |
---|
| 178 | .literal { color: #790000; /*#444444; font-style: italic*/} |
---|
| 179 | .numeric_literal { color: #990000} |
---|
| 180 | .keyword { color: #0000CC; /*#000080 font-weight: bold;*/ } |
---|
| 181 | .library { font-weight: bold; color: #000000} |
---|
| 182 | .documented { font-weight: bold; color: #000000} |
---|
| 183 | A.documented::visited { font-weight: bold; color: #000000; text-decoration:none} |
---|
| 184 | .defined { font-weight: bold; color: #525252} |
---|
| 185 | .comment { font-style: italic; color: #008000} |
---|
| 186 | .special { color: #800040} |
---|
| 187 | .preprocessor { color: #008000} |
---|
| 188 | .string { font-style: italic; color: #666666} |
---|
| 189 | .copyright { font-size: small} |
---|
| 190 | .white_bkd { background-color: #FFFFFF} |
---|
| 191 | .dk_grey_bkd { background-color: #999999} |
---|
| 192 | .quotes { color: #666666; font-style: italic; font-weight: bold} |
---|
| 193 | .omitted { color: #007236; font-style: italic } |
---|
| 194 | .banner { text-align: center } |
---|
| 195 | /* .header { text-decoration: none } */ |
---|
| 196 | .semantics { font-weight:bold } |
---|
| 197 | .caption |
---|
| 198 | { |
---|
| 199 | font-size: 65%; |
---|
| 200 | font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif |
---|
| 201 | } |
---|
| 202 | .caption_ref |
---|
| 203 | { |
---|
| 204 | font-size: 80%; |
---|
| 205 | font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif; |
---|
| 206 | font-weight: bold; |
---|
| 207 | color: black; |
---|
| 208 | text-decoration: none |
---|
| 209 | } |
---|
| 210 | .term |
---|
| 211 | { |
---|
| 212 | font-weight: bold; |
---|
| 213 | font-style: italic |
---|
| 214 | } |
---|
| 215 | .copyright |
---|
| 216 | { |
---|
| 217 | font: 80%/120%; |
---|
| 218 | margin:0 |
---|
| 219 | } |
---|