From b26ee2a979966405c7f780420d21808a9f617d65 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tobias=20Br=C3=A4utigam?= <tbraeutigam@gmail.com>
Date: Wed, 18 Oct 2017 17:09:02 +0200
Subject: [PATCH] do not use em for margin, leads to different heights in
 widgets, override some paddings for pagejump actors

closes #645
---
 source/resource/designs/metal/basic.css | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/source/resource/designs/metal/basic.css b/source/resource/designs/metal/basic.css
index 0b349e50f22..7a15d3b026e 100644
--- a/source/resource/designs/metal/basic.css
+++ b/source/resource/designs/metal/basic.css
@@ -115,7 +115,7 @@ body br
 .widget
 {
   margin: -1px 0 0 -1px;
-  padding: 0.3em;
+  padding: 6px;
   border-color: #666;
   border-style: solid;
   border-width: 1px;
@@ -325,13 +325,14 @@ body br
 	margin-left:0;
 	margin-right: 0;
 	float: left;
+    padding: 0;
 }
-.group  
-.pagejump  .switchUnpressed div, .group .pagejump  .switchPressed div {
+.group .pagejump .switchUnpressed div, .group .pagejump .switchPressed div {
 	width: auto;
 	text-align: left;
 	margin-left: 0.3em;
     line-height: 2em;
+    padding: 0;
 }
 
 .group.widget {