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/css/screen.css | |
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/css/screen.css')
-rw-r--r-- | assets/css/screen.css | 41 |
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; } |