diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-11 23:32:25 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-11 23:40:40 +0200 |
| commit | ea0a28f8d5db5761765eb60043b8593901552e25 (patch) | |
| tree | 996ffdfbfaddd4c889603e3526b4b974208cb07b /assets/js | |
| parent | 7f86c514b47a9ddb3d84f31a16a6967ac2161801 (diff) | |
Update styles.
* assets/css/bootstrap.css: Replace with Bootstrap 4.1.1.
* assets/css/screen.scm: Remove obsolete rules.
* assets/img/logo.png: Use same logo as on ci.guix.gnu.org.
* assets/js/mumi.js (loadSnippet): Replace outer HTML.
* mumi/config.scm.in (%config): Add submission-bug-email-address.
* mumi/web/view/html.scm (layout, search-form, header, index,
issue-page): Adjust CSS classes.
(index): Mention submission-bug-email-address; merge tables of
recent/priority bugs.
(issue-page): Use DL/DD/DT instead of UL for issue stats.
(list-of-bugs): Return only table rows.
(priority-bugs): Same.
(list-of-matching-bugs): Adjust by adding table and table header.
* mumi/web/controller.scm (controller): Adjust use of PRIORITY-BUGS.
Diffstat (limited to 'assets/js')
| -rw-r--r-- | assets/js/mumi.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/assets/js/mumi.js b/assets/js/mumi.js index 317bdcf..f98a902 100644 --- a/assets/js/mumi.js +++ b/assets/js/mumi.js @@ -4,11 +4,11 @@ var req = new XMLHttpRequest(); req.onload = function (e) { var target = document.getElementById(targetId); - target.innerHTML = req.responseText; + target.outerHTML = req.responseText; }; req.onerror = function (e) { var target = document.getElementById(targetId); - target.innerHTML = "Never mind..."; + target.outerHTML = "Never mind..."; }; req.open('GET', URL, true); req.send(); |