[PATCH] ui: Shrink vertical space of patch list

[Ali Alnubani]

From: Thomas Monjalon <thomas at monjalon.net>

The margin above the filter box is removed because there is
already a margin below the navigation bar.

The vertical padding between rows is reduced
while the horizontal padding between columns is increased.

Signed-off-by: Thomas Monjalon <thomas at monjalon.net>
---
 htdocs/css/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/htdocs/css/style.css b/htdocs/css/style.css
index af2f073..fdea737 100644
--- a/htdocs/css/style.css
+++ b/htdocs/css/style.css
@@ -92,7 +92,7 @@ dl dt {
     border: 1px solid #cccccc;
     border-radius: 4px;
     padding: 5px 20px;
-    margin: 15px 0;
+    margin: 0 0 15px 0;
 }
 
 a.filter-action {
@@ -434,7 +434,7 @@ table.vertical {
 .table-extra-condensed > thead > tr > td,
 .table-extra-condensed > tbody > tr > td,
 .table-extra-condensed > tfoot > tr > td {
-	padding: 2px;
+	padding: 1px 0.5em 1px 0.5em;
 	vertical-align: middle;
 }
 
-- 
2.11.0