File: first-letter-dynamic-002.xht

package info (click to toggle)
thunderbird 1%3A115.16.0esr-1~deb12u1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 3,476,252 kB
  • sloc: cpp: 6,972,150; javascript: 5,209,211; ansic: 3,507,222; python: 1,137,609; asm: 432,531; xml: 205,149; java: 175,761; sh: 116,485; makefile: 22,152; perl: 13,971; objc: 12,561; yacc: 4,583; pascal: 2,840; lex: 1,720; ruby: 1,075; exp: 762; sql: 666; awk: 580; php: 436; lisp: 430; sed: 70; csh: 10
file content (62 lines) | stat: -rw-r--r-- 1,755 bytes parent folder | download | duplicates (30)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head>
  <title>CSS Test: :first-letter</title>
  <link rel="author" title="Boris Zbarsky" href="mailto:bzbarsky@mit.edu" />
  <link rel="author" title="Mozilla Corporation" href="http://mozilla.com/" />
  <link rel="help" href="http://www.w3.org/TR/CSS21/selector.html#first-letter" />
  <link rel="match" href="first-letter-dynamic-002-ref.xht"/>
  <meta name="flags" content="dom" />
<script type="text/javascript">
function boom1()
{
  initFuzzerSpecific();
  setTextContent(stylesheets[1], "*:first-letter { }");
  setTextContent(stylesheets[2], "*:before { counter-reset: chicken; }");
  document.body.offsetWidth;
  boom2();
}

function boom2()
{
  setTextContent(stylesheets[3], "#q2:first-letter { content: 'generated'; }");
  setTextContent(stylesheets[1], "");
  setTextContent(stylesheets[4], "#q2 { quotes: '&lt;1&gt;' '&lt;/1&gt;'; }");
  document.body.offsetWidth;
  boom3();
}

function boom3()
{
  document.getElementById("p2").style.counterReset = "egg";
  setTextContent(stylesheets[1], "*:first-letter { }");
}

function setTextContent(n, t) { n.textContent = t; }

var stylesheets = [];
function initFuzzerSpecific()
{
  var myStylesheetHolder = document.getElementsByTagName("head")[0];

  for (var i = 0; i &lt; 25; ++i) {
    var s = document.createElementNS("http://www.w3.org/1999/xhtml", 'style');
    s.style.display = "none";
    myStylesheetHolder.appendChild(s);
    stylesheets.push(s);
  }
}
</script>

</head>
<body>

<p><q>Foo</q></p>

<p id="p2"><q id="q2">0</q></p>

<script type="text/javascript">
  document.body.offsetWidth;
  boom1();
</script>


</body></html>