From 44b9d5658b6b1f0690dfa9fa93bd359b88f985f3 Mon Sep 17 00:00:00 2001 From: Christopher Baines Date: Mon, 24 Jun 2019 21:01:23 +0100 Subject: 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. --- guix-data-service/web/view/html.scm | 21 +++++++++++++++++++-- 1 file changed, 19 insertions(+), 2 deletions(-) (limited to 'guix-data-service/web') 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) -- cgit v1.2.3