Add the No Docs page if there are no root documents

James Moger

2014-02-28 c8a833a2ea7d03a5c29ebcd1cf7e2e05c96f3e70

 src/main/resources/gitblit.css

@@ -520,6 +520,18 @@
   text-align: left;   

}



div.featureWelcome {

   padding: 15px;

   background-color: #fbfbfb;

   border: 1px solid #ccc;

   border-radius: 5px;	
}



div.featureWelcome div.icon {

   color: #ccc;

   font-size: 144px;

}



div.sourceview {

   overflow: hidden;

}