Merge branch 'master' of https://github.com/gitblit/gitblit into enhancedLdap

mschaefers

2012-12-03 ba6ae959b8e21c714c69f66254e82837d45a3ed2

 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;