| LEFT | RIGHT |
|---|
| 1 /* General Styles */ | 1 /* General Styles */ |
| 2 body { | 2 body { |
| 3 font-family: "Bitstream Vera Sans", Verdana, sans-serif; | 3 font-family: "Bitstream Vera Sans", Verdana, sans-serif; |
| 4 font-size: 81.25%; | 4 font-size: 81.25%; |
| 5 line-height: 1.23em; | 5 line-height: 1.23em; |
| 6 padding: 0; | 6 padding: 0; |
| 7 margin: 1.23em; | 7 margin: 1.23em; |
| 8 background: white; | 8 background: white; |
| 9 color: black; | 9 color: black; |
| 10 } | 10 } |
| (...skipping 143 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 154 } | 154 } |
| 155 | 155 |
| 156 /* Content and Code Highlighting */ | 156 /* Content and Code Highlighting */ |
| 157 pre.ebnf, pre.grammar { | 157 pre.ebnf, pre.grammar { |
| 158 background: #FFFFE0; | 158 background: #FFFFE0; |
| 159 } | 159 } |
| 160 span.comment { | 160 span.comment { |
| 161 color: #002090; | 161 color: #002090; |
| 162 } | 162 } |
| 163 span.highlight { | 163 span.highlight { |
| 164 background: #FFFF90; | 164 background: #FF9900; |
| 165 font-weight: bold; | 165 font-weight: bold; |
| 166 } | 166 } |
| 167 span.highlight-comment { | 167 span.highlight-comment { |
| 168 background: #FFFF90; | 168 background: #FF9900; |
| 169 font-weight: bold; | 169 font-weight: bold; |
| 170 color: #002090; | 170 color: #002090; |
| 171 } | 171 } |
| 172 span.selection { | 172 span.selection { |
| 173 background: cyan | 173 background: #FFFF00 |
| 174 } | 174 } |
| 175 span.selection-comment { | 175 span.selection-comment { |
| 176 color: #002090; | 176 color: #002090; |
| 177 background: cyan | 177 background: #FFFF00 |
| 178 } | 178 } |
| 179 span.selection-highlight { | 179 span.selection-highlight { |
| 180 background: #FFFF90; | 180 background: #FF9900; |
| 181 font-weight: bold; | 181 font-weight: bold; |
| 182 } | 182 } |
| 183 span.selection-highlight-comment { | 183 span.selection-highlight-comment { |
| 184 background: #FFFF90; | 184 background: #FF9900; |
| 185 font-weight: bold; | 185 font-weight: bold; |
| 186 color: #002090; | 186 color: #002090; |
| 187 } | 187 } |
| 188 span.alert { | 188 span.alert { |
| 189 color: #D00000; | 189 color: #D00000; |
| 190 } | 190 } |
| 191 #nav table { | 191 #nav table { |
| 192 width: 100%; | 192 width: 100%; |
| 193 } | 193 } |
| 194 .detail { | 194 .detail { |
| 195 padding: 0.25em 1em; | 195 padding: 0.25em 1em; |
| 196 background: #F4F4F4; | 196 background: #F4F4F4; |
| 197 } | 197 } |
| LEFT | RIGHT |
|---|
