Wed, 31 Dec 2014 07:16:47 +0100
Revert simplistic fix pending revisit of Mozilla integration attempt.
michael@0 | 1 | <html> |
michael@0 | 2 | <head> |
michael@0 | 3 | <style id="s"> |
michael@0 | 4 | ol { |
michael@0 | 5 | counter-reset: section; |
michael@0 | 6 | list-style-type: none; |
michael@0 | 7 | } |
michael@0 | 8 | li:before { |
michael@0 | 9 | counter-increment: section; |
michael@0 | 10 | content: counters(section, ".") " "; |
michael@0 | 11 | } |
michael@0 | 12 | </style> |
michael@0 | 13 | |
michael@0 | 14 | </head> |
michael@0 | 15 | <body> |
michael@0 | 16 | <ol> |
michael@0 | 17 | <li>item</li> <!-- 1 --> |
michael@0 | 18 | <li>item <!-- 2 --> |
michael@0 | 19 | <ol> |
michael@0 | 20 | <li>item</li> <!-- 2.1 --> |
michael@0 | 21 | <li>item</li> <!-- 2.2 --> |
michael@0 | 22 | <li>item <!-- 2.3 --> |
michael@0 | 23 | <ol> |
michael@0 | 24 | <li>item</li> <!-- 2.3.1 --> |
michael@0 | 25 | <li>item</li> <!-- 2.3.2 --> |
michael@0 | 26 | </ol> |
michael@0 | 27 | <ol> |
michael@0 | 28 | <li>item</li> <!-- 2.3.1 --> |
michael@0 | 29 | <li>item</li> <!-- 2.3.2 --> |
michael@0 | 30 | <li>item</li> <!-- 2.3.3 --> |
michael@0 | 31 | </ol> |
michael@0 | 32 | </li> |
michael@0 | 33 | <li>item</li> <!-- 2.4 --> |
michael@0 | 34 | </ol> |
michael@0 | 35 | </li> |
michael@0 | 36 | <li>item</li> <!-- 3 --> |
michael@0 | 37 | <li>item</li> <!-- 4 --> |
michael@0 | 38 | </ol> |
michael@0 | 39 | <ol> |
michael@0 | 40 | <li>item</li> <!-- 1 --> |
michael@0 | 41 | <li>item</li> <!-- 2 --> |
michael@0 | 42 | </ol> |
michael@0 | 43 | |
michael@0 | 44 | <script> |
michael@0 | 45 | s = document.getElementById("s"); |
michael@0 | 46 | t = s.textContent; |
michael@0 | 47 | |
michael@0 | 48 | function foo() |
michael@0 | 49 | { |
michael@0 | 50 | document.body.offsetHeight; |
michael@0 | 51 | s.textContent = "ol { color: #ddd}"; |
michael@0 | 52 | document.body.offsetHeight; |
michael@0 | 53 | s.textContent = t; |
michael@0 | 54 | } |
michael@0 | 55 | foo(); |
michael@0 | 56 | </script> |
michael@0 | 57 | |
michael@0 | 58 | </body> |
michael@0 | 59 | </html> |