From 521a389dc54bfee511426a137025b8366dcde803 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Wed, 2 Feb 2011 23:26:03 +0100
Subject: [PATCH] Remove useless margin

---
 css/theme_right.css.php | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/css/theme_right.css.php b/css/theme_right.css.php
index 9d9a50432..1b1986d7e 100644
--- a/css/theme_right.css.php
+++ b/css/theme_right.css.php
@@ -705,9 +705,6 @@ div#tablestatistics table {
     margin-<?php echo $right; ?>: 0.5em;
 }
 
-div#tablestatistics table caption {
-    margin-<?php echo $right; ?>: 0.5em;
-}
 /* END table stats */
 
 
-- 
2.11.4.GIT