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, 13 insertions, 0 deletions
diff --git a/userContent/reproducible/static/pkgset.js b/userContent/reproducible/static/pkgset.js new file mode 100644 index 00000000..530679a3 --- /dev/null +++ b/userContent/reproducible/static/pkgset.js @@ -0,0 +1,9 @@ +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 bdc0e755..5ffd490f 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -181,6 +181,10 @@ ul li { font-weight: bold; } +#expand-all-pkgsets { + display: none; +} + h1 { font-size : 250%; padding: 0; |