From 85f639aa3eee0b4e02eba20e6a5197b684941544 Mon Sep 17 00:00:00 2001 From: Luca Milanesio <luca.milanesio@gmail.com> Date: Fri, 19 Oct 2012 21:53:24 -0400 Subject: [PATCH] Allows integration of GitBlit as plug-in in other projects. --- src/com/gitblit/wicket/pages/TicketPage.html | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/com/gitblit/wicket/pages/TicketPage.html b/src/com/gitblit/wicket/pages/TicketPage.html index 160bc0c..ed3eb22 100644 --- a/src/com/gitblit/wicket/pages/TicketPage.html +++ b/src/com/gitblit/wicket/pages/TicketPage.html @@ -8,7 +8,7 @@ <wicket:extend> <!-- ticket title --> - <div style="font-size:150%;padding-top:5px;" wicket:id="ticketTitle">[ticket title]</div> + <div style="font-size:150%;padding-top:5px;padding-bottom:5px;" wicket:id="ticketTitle">[ticket title]</div> <!-- ticket info --> <table class="plain"> -- Gitblit v1.9.1