Merge pull request #1022 from gitblit/974-in-browser-doc-editor

Paul Martin

2016-03-28 33f3580f8f4499ac9cd4812872c94fcdd81a5829

 src/main/resources/gitblit.css

@@ -2072,10 +2072,6 @@
li.L7,

li.L9 { background: #fafafa !important; }



div.docs {

   max-width: 880px;

}



div.docs ul.nav {   

   margin-bottom: 0px !important;

}