ui: Shrink vertical space of patch list

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@monjalon.net>
Reviewed-by: Stephen Finucane <stephen@that.guru>

diff --git a/htdocs/css/style.css b/htdocs/css/style.css
index c0f4561a126b6971bf3629716f6c5dd086cbed39..42d071e25da378d60c6db8cd1ef7a99f87fa3e88 100644 (file)
--- 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 {
@@ -454,7 +454,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;
 }