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, 39 deletions

diff --git a/assets/css/screen.css b/assets/css/screen.css
index 046b908..4a39ae4 100644
--- a/assets/css/screen.css
+++ b/assets/css/screen.css
@@ -1,42 +1,15 @@
-@media all {html {font-size: 28px;}}
-
 html, body {
     background-color: #fff;
     width: 100%;
     height: 100%;
-    line-height: 1.4em;
     padding: 0px;
     margin: 0px;
-    font-family: sans-serif;
 }
 
 h1 {
     clear: both;
-    font-size: 32px;
-    line-height: 105%;
     margin-top: 1.3rem;
     margin-bottom: 0.5rem;
-    padding: 0px;
-    display: block;
-    font-weight: 400;
-    color: #333;
-}
-
-.logo:link,
-.logo:visited {
-    background-image: url("../img/logo.png");
-    background-position: bottom;
-    background-repeat: no-repeat;
-    border-style: none;
-    display: inline-block;
-    height: 55px;
-    width: 170px;
-}
-
-.logo:active,
-.logo:focus,
-.logo:hover {
-    background-position: top;
 }
 
 .title {
@@ -70,25 +43,15 @@ ul.blocks li + li:before {
     content: ", ";
 }
 
-p {
-    max-width: 70rem;
-}
-
 p + p {
     text-indent: 0.5rem;
     margin-top: 1.0rem;
 }
 
-
-form {
+.card-body form {
     padding-bottom: 2em;
 }
 
-label {
-    text-align: right;
-    margin-right: 0.5em;
-}
-
 thead {
     border-bottom: 2px solid #ddd;
     font-weight: bold;
@@ -125,7 +88,7 @@ tr.important td:nth-child(1) {
     padding: 0;
 }
 
-#header #search input:focus {
+#search input:focus {
     width: 500px;
 }