Fixed rename and delete repository (issue 10)

James Moger

2011-07-20 dd6f08950e36694d9757adc84ed6805620d0c032

 resources/gitblit.css

@@ -174,6 +174,10 @@
   font-style: italic;

}



span.userPanel a, span.userPanel a span {

   font-size: 11px;	
}



div.page_nav {

   color: #ddd;

   background-color: #000070;