summaryrefslogtreecommitdiff
path: root/assets/css/bootstrap.css
Commit message (Collapse)AuthorAgeFilesLines
* Remove bootstrap.css and build CSS from SCSS sources.Ricardo Wurmus2022-12-201-8981/+0
|
* Update styles.Ricardo Wurmus2019-07-111-5389/+7613
| | | | | | | | | | | | | | | | | * 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.
* Initial commit.Ricardo Wurmus2017-10-301-0/+6757