From 76e18a87471ec487304eb13dc8a5d362585b4f1c Mon Sep 17 00:00:00 2001 From: Paul Martin <paul@paulsputer.com> Date: Mon, 11 Apr 2016 14:59:46 -0400 Subject: [PATCH] Merge pull request #1046 from gitblit/1028-FilterAndPagingForFilestorePage --- src/main/resources/gitblit.css | 27 +++++++++++++++++++++++++++ 1 files changed, 27 insertions(+), 0 deletions(-) diff --git a/src/main/resources/gitblit.css b/src/main/resources/gitblit.css index 1cae6d5..3318441 100644 --- a/src/main/resources/gitblit.css +++ b/src/main/resources/gitblit.css @@ -2361,6 +2361,33 @@ color:#815b3a; } +.filestore-status { + display: inline; + font-size: 1.2em; +} + +table.filestore-status { + border:none!important; + border-spacing: 10px 0px; + border-collapse: separate; +} + +.filestore-status tr td a { + border:none!important; + margin-right:1.5em!important; + padding:0.25em; +} + +.filestore-status td a:hover, .filestore-status td a.filter-on { + background-color: #eee; + border-radius:5px; +} + +.filestore-status span:nth-child(2) { + font-weight:800; + margin-left:0.25em; +} + .delete-patchset { color:#D51900; font-size: 1.2em; -- Gitblit v1.9.1