summaryrefslogtreecommitdiff
path: root/assets/img/logo.png
Commit message (Collapse)AuthorAgeFilesLines
* Update styles.Ricardo Wurmus2019-07-111-0/+0
| | | | | | | | | | | | | | | | | * 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.
* Use the Guix logo instead of GuixSD.Ricardo Wurmus2019-01-281-0/+0
| | | | | | * assets/css/screen.css (.logo): New rules. * assets/img/logo.png: Replace file. * mumi/web/view/html.scm (header): Remove IMG tag.
* Initial commit.Ricardo Wurmus2017-10-301-0/+0