diff --git a/themes/original/css/common.css.php b/themes/original/css/common.css.php
index 2f1656f046..7fcf9ec9ee 100644
--- a/themes/original/css/common.css.php
+++ b/themes/original/css/common.css.php
@@ -1219,10 +1219,10 @@ div#logTable table {
 #serverVariables .serverVariableEditor div {
     display: block;
     overflow: hidden;
-    padding-right: 1em;
+    padding-<?php echo $right; ?>: 1em;
 }
 #serverVariables .serverVariableEditor a {
-    float: right;
+    float: <?php echo $right; ?>;
     margin: 0 0.5em;
     line-height: 2em;
 }
diff --git a/themes/pmahomme/css/common.css.php b/themes/pmahomme/css/common.css.php
index d0f2ba098b..52680d3a35 100644
--- a/themes/pmahomme/css/common.css.php
+++ b/themes/pmahomme/css/common.css.php
@@ -1491,10 +1491,10 @@ div#queryAnalyzerDialog table.queryNums {
 #serverVariables .serverVariableEditor div {
     display: block;
     overflow: hidden;
-    padding-right: 1em;
+    padding-<?php echo $right; ?>: 1em;
 }
 #serverVariables .serverVariableEditor a {
-    float: right;
+    float: <?php echo $right; ?>;
     margin: 0 0.5em;
     line-height: 2em;
 }