|
8 | 8 | <link href=default.css rel=stylesheet type="text/css"> |
9 | 9 |
|
10 | 10 | <style type="text/css"> |
11 | | - /* Just in case an incorrect ‘</style> |
12 | | - |
13 | | - <body> |
14 | | - <p><code class=property>max-width</code>’ occurs in default.css */ |
15 | | - body {max-width: none !important} .prod { font-family: inherit; font-size: |
16 | | - inherit } pre.prod { white-space: pre-wrap; margin: 1em 0 1em 2em } code { |
17 | | - font-size: inherit; } .level4 {color: gray; clear: both} .level4 h2, |
18 | | - .level4 h3, .level4 h4 {color: inherit} p.level4:before, |
19 | | - div.level4:before, li.level4:before { content: "LEVEL\A 4"; background: |
20 | | - #BBB; color: white; white-space: pre; text-align: center; float: left; |
21 | | - margin: 0 0.3em 0.1em 0; min-width: 0; border-radius: 100%; line-height: |
22 | | - 1; font-size: small; padding: 1.1em 0.4em 0.6em 0.4em} .example .visible |
23 | | - {border: thin dotted silver} /* delete this block when you've cleared out |
24 | | - all the .replaceme elements */ .replaceme { border: solid red; padding: 0 |
25 | | - 0.5em; margin: 0 0.1em; background: yellow; color: green; } |
26 | | - .replaceme:before { content: "FIXME("; color: black; } .replaceme:after { |
27 | | - content: ")"; color: black; } |
28 | | - |
29 | | - <head><link href="http://www.w3.org/StyleSheets/TR/W3C-ED.css" |
30 | | - rel=stylesheet type="text/css"> |
| 11 | + /* Just in case an incorrect max-width occurs in default.css */ |
| 12 | + body {max-width: none !important} |
| 13 | + |
| 14 | + .prod { font-family: inherit; font-size: inherit } |
| 15 | + pre.prod { white-space: pre-wrap; margin: 1em 0 1em 2em } |
| 16 | + code { font-size: inherit; } |
| 17 | + |
| 18 | + .level4 {color: gray; clear: both} |
| 19 | + .level4 h2, .level4 h3, .level4 h4 {color: inherit} |
| 20 | + p.level4:before, div.level4:before, li.level4:before { |
| 21 | + content: "LEVEL\A 4"; background: #BBB; color: white; white-space: pre; |
| 22 | + text-align: center; float: left; margin: 0 0.3em 0.1em 0; min-width: 0; |
| 23 | + border-radius: 100%; line-height: 1; font-size: small; |
| 24 | + padding: 1.1em 0.4em 0.6em 0.4em} |
| 25 | + |
| 26 | + .example .visible {border: thin dotted silver} |
| 27 | +</style> |
| 28 | + <link href="http://www.w3.org/StyleSheets/TR/W3C-ED.css" rel=stylesheet |
| 29 | + type="text/css"> |
31 | 30 |
|
32 | 31 | <body> |
33 | 32 | <div class=head> <!--begin-logo--> |
|
0 commit comments