diff options
| author | Christopher Baines <mail@cbaines.net> | 2019-06-24 21:01:23 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2019-06-24 21:01:23 +0100 |
| commit | 44b9d5658b6b1f0690dfa9fa93bd359b88f985f3 (patch) | |
| tree | 7deb5b2796ff99d1b1f5f268b0633d143436f3fe /guix-data-service/web | |
| parent | 54b992246637fb4f73a9d8b15d381cdc7bce3183 (diff) | |
| download | data-service-44b9d5658b6b1f0690dfa9fa93bd359b88f985f3.tar data-service-44b9d5658b6b1f0690dfa9fa93bd359b88f985f3.tar.gz | |
Add buttons to scroll the page on the job page
As the page can be quite long, so jumping to the top and bottom is really
useful.
Diffstat (limited to 'guix-data-service/web')
| -rw-r--r-- | guix-data-service/web/view/html.scm | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/guix-data-service/web/view/html.scm b/guix-data-service/web/view/html.scm index ca744ff..bd0be26 100644 --- a/guix-data-service/web/view/html.scm +++ b/guix-data-service/web/view/html.scm @@ -88,7 +88,8 @@ (media "screen") (type "text/css") (href "/assets/css/screen.css")))) - (body ,@body + (body (a (@ (id "top"))) + ,@body (footer (p "Copyright © 2016—2019 by the GNU Guix community." (br) @@ -1010,7 +1011,23 @@ (div (@ (class "row")) (div - (pre (raw ,log)))))))) + (@ (class "col-sm-12")) + (a (@ (class "btn btn-default btn-lg pull-right") + (style "margin-bottom: 20px;") + (href "#bottom")) + "Scroll to the bottom of the page"))) + (div + (@ (class "row")) + (div + (pre (raw ,log)) + (a (@ (id "bottom"))))) + (div + (@ (class "row")) + (div + (@ (class "col-sm-12")) + (a (@ (class "btn btn-default btn-lg pull-right") + (href "#top")) + "Scroll to the top of the page"))))))) (define (view-derivation derivation derivation-inputs derivation-outputs builds) |