From a612e6af36c9c2bd2ef81d9c1697ce1543a1a9df Mon Sep 17 00:00:00 2001 From: John Crygier <john.crygier@aon.com> Date: Sat, 31 Mar 2012 08:32:16 -0400 Subject: [PATCH] Add ClientLogger so scripts can log info / warning messages to the pushing client. --- src/com/gitblit/wicket/pages/DocsPage.html | 5 +---- 1 files changed, 1 insertions(+), 4 deletions(-) diff --git a/src/com/gitblit/wicket/pages/DocsPage.html b/src/com/gitblit/wicket/pages/DocsPage.html index c098bcf..98432b5 100644 --- a/src/com/gitblit/wicket/pages/DocsPage.html +++ b/src/com/gitblit/wicket/pages/DocsPage.html @@ -7,11 +7,8 @@ <body> <wicket:extend> - <!-- page nav links --> - <div wicket:id="pageLinks">[page links]</div> - <!-- header --> - <div style="margin-top:5px;" class="header"><span wicket:id="header">[header]</span></div> + <div style="margin-top:5px;" class="header"><i class="icon-book" style="vertical-align: middle;"></i> <b><span wicket:id="header">[header]</span></b></div> <!-- documents --> <table style="width:100%" class="pretty"> -- Gitblit v1.9.1