guix/data-service
2
0
Fork 0
mirror of git://git.savannah.gnu.org/guix/data-service.git synced 2023-12-14 03:23:03 +01:00
Code Issues Releases Wiki Activity

Add buttons to scroll the page on the job page

Browse source 
As the page can be quite long, so jumping to the top and bottom is really
useful.
This commit is contained in:
Christopher Baines 2019-06-24 21:01:23 +01:00
parent 54b9922466
commit 44b9d5658b
1 changed files with 19 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
guix-data-service/web/view/html.scm
View file

@ -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)