diff options
| author | Thomas Monjalon <thomas@monjalon.net> | 2019-01-08 12:38:45 +0000 |
|---|---|---|
| committer | Stephen Finucane <stephen@that.guru> | 2019-03-05 10:52:10 +0000 |
| commit | f50fcb93e5123f76f4ee625044db8d2a16ddf597 (patch) | |
| tree | 7bba4571c3085a3522f6c3dc1f9250e807b378cc /htdocs/css | |
| parent | dc089f62a70d9585fa2d7cd845827a516b66949b (diff) | |
| download | patchwork-f50fcb93e5123f76f4ee625044db8d2a16ddf597.tar patchwork-f50fcb93e5123f76f4ee625044db8d2a16ddf597.tar.gz | |
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>
Diffstat (limited to 'htdocs/css')
| -rw-r--r-- | htdocs/css/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/htdocs/css/style.css b/htdocs/css/style.css index c0f4561..42d071e 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 { @@ -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; } |