From e6637cd48c50aa5ebbc01e7826b835b75bd92a87 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Thu, 15 Mar 2012 19:51:16 -0400 Subject: [PATCH] Close the Lucene index writer/searcher on a repository rename or delete --- resources/gitblit.css | 24 +++++++++++++++--------- 1 files changed, 15 insertions(+), 9 deletions(-) diff --git a/resources/gitblit.css b/resources/gitblit.css index 0e8e753..0701a7c 100644 --- a/resources/gitblit.css +++ b/resources/gitblit.css @@ -267,7 +267,7 @@ } div.searchResult { - padding:5px; + padding: 10px 5px 10px 5px; } div.searchResult .summary { @@ -300,18 +300,24 @@ padding: 0 2px; } -div.searchResult .ellipses { - font-family: sans-serif; - font-size: 9px; - font-weight: normal; - background-color: #eee; - border: 1px solid #ccc; - padding: 0 3px; - margin: 0px; +div.searchResult .ellipses { + padding-left:25px; + color: #aaa; } div.searchResult pre { margin: 1px 0px; + border: 0px; +} + +div.searchResult .text { + border-left: 5px solid #EEEEEE; + + padding: 0 0 0 15px; +} + +div.searchResult ol { + margin-bottom: 0px !important; } div.header, div.commitHeader, table.repositories th { -- Gitblit v1.9.1