File: highlight-text-decorations-ref.html

package info (click to toggle)
firefox 143.0.3-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 4,617,328 kB
  • sloc: cpp: 7,478,492; javascript: 6,417,157; ansic: 3,720,058; python: 1,396,372; xml: 627,523; asm: 438,677; java: 186,156; sh: 63,477; makefile: 19,171; objc: 13,059; perl: 12,983; yacc: 4,583; cs: 3,846; pascal: 3,405; lex: 1,720; ruby: 1,003; exp: 762; php: 436; lisp: 258; awk: 247; sql: 66; sed: 53; csh: 10
file content (47 lines) | stat: -rw-r--r-- 1,422 bytes parent folder | download | duplicates (15) 
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
 
<!DOCTYPE html>
<html>
<head>
    <style>
        html {
            font-size: 24pt;
        }
        .style1 {
            text-decoration: underline;
            text-decoration-color: red;
            color: blue;
        }
        .style2 {
            text-decoration: line-through;
            text-decoration-color: violet;
            text-decoration-style: double;
        }
        .style3 {
            text-decoration: overline;
            text-decoration-color: orange;
            text-decoration-style: dotted;
        }
        /* FIXME: There is a discrepency for how the underlines are displayed at the end of the line, leading to a pixel different in this text. Find a real fix, but in the meantime, obscure the offending pixel <rdar://problem/59327965> https://bugs.webkit.org/show_bug.cgi?id=207512*/
        .obscurer1 {
            position: absolute;
            top: 25px;
            left: 95px;
            width: 10px;
            height: 10px;
            background: grey;
        }
        .obscurer2 {
            position: absolute;
            top: 35px;
            left: 180px;
            width: 10px;
            height: 10px;
            background: grey;
        }
    </style>
</head>
<body>
    O<span class="style1">n</span>e t<span class="style2">w</span>o th<span class="style3">ree</span>
    <div class='obscurer1'></div>
    <div class='obscurer2'></div>
</body>
</html>