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/img | |
| 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/img')
| -rw-r--r-- | assets/img/logo.png | bin | 15749 -> 11836 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/assets/img/logo.png b/assets/img/logo.png Binary files differindex 49f39a2..75ec691 100644 --- a/assets/img/logo.png +++ b/assets/img/logo.png |
