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.

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();