Update margins of navigation header elements to paddings, remove marg…

…in-top of tree
catchsomnath · Aug 26, 2013 · ccba470 · ccba470
1 parent 7438459
commit ccba470
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/themes/original/css/navigation.css.php b/themes/original/css/navigation.css.php
@@ -105,7 +105,7 @@
 
 /* Navigation tree*/
 #pma_navigation_tree {
-    margin: 0.5em 0 0;
+    margin: 0;
     margin-<?php echo $left; ?>: 1em;
     color: #444;
     height: 74%;

diff --git a/themes/pmahomme/css/navigation.css.php b/themes/pmahomme/css/navigation.css.php
@@ -73,7 +73,7 @@
 #pma_navigation #databaseList,
 #pma_navigation div.pageselector.dbselector {
     text-align: center;
-    margin: 5px 10px 0px;
+    padding: 5px 10px 0px;
     border: 0;
 }
 
@@ -90,7 +90,7 @@
 
 /* Navigation tree*/
 #pma_navigation_tree {
-    margin: 5px 0 0;
+    margin: 0;
     margin-<?php echo $left; ?>: 10px;
     color: #444;
     height: 74%; /*it needs to be dynamically set*/