diff options
Diffstat (limited to 'userContent')
| -rw-r--r-- | userContent/reproducible/static/pkgset.js | 9 | ||||
| -rw-r--r-- | userContent/reproducible/static/style.css | 4 |
2 files changed, 0 insertions, 13 deletions
diff --git a/userContent/reproducible/static/pkgset.js b/userContent/reproducible/static/pkgset.js deleted file mode 100644 index 530679a3..00000000 --- a/userContent/reproducible/static/pkgset.js +++ /dev/null @@ -1,9 +0,0 @@ -window.onload = function () { - var userAgent = navigator.userAgent.toLowerCase(); - var version = /firefox\/(\d+)/.exec(userAgent); - if (!version || (version.length === 2 && version[1] > 48)) { - // Reveal the "expand-all-pkgset" button when not in firefox (where - // summary tags are not supported) - document.getElementById("expand-all-pkgsets").style.display='inline'; - } -} diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index 2c4a4b43..49775233 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -180,10 +180,6 @@ ul li { font-weight: bold; } -#expand-all-pkgsets { - display: none; -} - h1 { font-size : 250%; padding: 0; |