Fixed cache bug wrt create/edit repository with existing repo name (issue-172)

James Moger

2012-12-21 6f8ad9b1068e57062a5f79da83c10ee715d412ef

 resources/gitblit.css

@@ -984,11 +984,15 @@
   white-space: nowrap;

}



span.sha1, span.sha1 a, span.sha1 a span, .commit_message {

span.sha1, span.sha1 a, span.sha1 a span, .commit_message, span.shortsha1 {

   font-family: consolas, monospace;

   font-size: 13px;

}



span.shortsha1 {

   font-size: 12px;

}



td.mode {

   text-align: right;

   font-family: monospace;