File: font-preferences.html

package info (click to toggle)
qtwebkit-opensource-src 5.7.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 291,692 kB
  • ctags: 268,122
  • sloc: cpp: 1,360,420; python: 70,286; ansic: 42,986; perl: 35,476; ruby: 12,236; objc: 9,465; xml: 8,396; asm: 3,873; yacc: 2,397; sh: 1,647; makefile: 650; lex: 644; java: 110
file content (31 lines) | stat: -rw-r--r-- 794 bytes parent folder | download | duplicates (10)
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
<html>
<head>
<title>Original Title</title>
</head>
<script type="text/javascript">
function getTestId() {
    url = document.location.href
    var i, j = 0;
    for (i = url.length - 1; i >= 0; --i) {
        if (url[i] == '?')
            break
        else if (url[i] == '#')
            j = i - 1
    }
    return url.substr(i + 1, j - i)
}

function getStyleForId(id, styleProp) {
    return document.defaultView.getComputedStyle(document.getElementById(id), null).getPropertyValue(styleProp);
}

function changeTitle() {
    document.title = getStyleForId(getTestId(), window.location.hash.substr(1))
}
</script>
<body onload='setTimeout("changeTitle()", 100)'>
<p id="standard">hello</p>
<code id="fixed">hello</code>
<p id="minimum" style="font-size: smaller">hello</p>
</body>
</html>