From e32489aba154acadeda3cdbca721f5931019922e Mon Sep 17 00:00:00 2001
From: Antoine Mercadal <antoine.mercadal@inframonde.eu>
Date: Thu, 8 Sep 2011 17:08:50 +0200
Subject: [PATCH] tiny padding improvment in generated html docs

---
 Tools/Documentation/doxygen.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Tools/Documentation/doxygen.css b/Tools/Documentation/doxygen.css
index d0116fb6c..ec5c0a80b 100644
--- a/Tools/Documentation/doxygen.css
+++ b/Tools/Documentation/doxygen.css
@@ -518,7 +518,7 @@ table.memberdecls {
         -webkit-border-top-right-radius: 3px;
         -webkit-border-top-left-radius: 3px;
         background-color: #E2E2E2;
-        padding-left: 3px;
+        padding-left: 9px;
 }
 
 .memdoc > p {
@@ -542,7 +542,7 @@ table.memberdecls {
         -webkit-border-bottom-left-radius: 3px;
         -webkit-border-bottom-right-radius: 3px;
         -webkit-box-shadow: 1px 1px 5px rgba(0, 0, 0, 0.15);
-        padding: .8em .5em 0;
+        padding: .8em 12px 0 12px;
 }
 
 .memdoc dl dd td {