From 71b2eea153d04f9018b049714080a5ba162b887b Mon Sep 17 00:00:00 2001
From: Crack <piotrprz@gmail.com>
Date: Tue, 6 Apr 2010 11:57:43 +0200
Subject: [PATCH] Navigation frame styling

Patch #2980495

- icon background (home, log out, ...) on mouse over now fills entire
  box
- icon border changed from 0.05em to 1px, fixes display on Chrome (it
  was rounded to 0)
- redesigned fast filter, resizes correctly with frame, reset button
  is better aligned
- decreased margin on database tree
- fixed list margin for RTL languages (that list is always in ltr so
  my change works)
---
 themes/original/css/theme_left.css.php | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/themes/original/css/theme_left.css.php b/themes/original/css/theme_left.css.php
index a7e76579c..e161f5906 100644
--- a/themes/original/css/theme_left.css.php
+++ b/themes/original/css/theme_left.css.php
@@ -101,10 +101,12 @@ ul#databaseList {
     margin-bottom:      0.5em;
     padding-bottom:     0.5em;
     padding-<?php echo $left; ?>:     1.5em;
+    font-style: italic;
 }
 
 ul#databaseList a {
     display: block;
+    font-style: normal;
 }
 
 div#navidbpageselector a,
@@ -113,6 +115,11 @@ ul#databaseList a {
     color:              <?php echo $GLOBALS['cfg']['NaviColor']; ?>;
 }
 
+ul#databaseList ul {
+    padding-left: 1em;
+    padding-right: 0;
+}
+
 ul#databaseList a:hover {
     background:         <?php echo $GLOBALS['cfg']['NaviPointerBackground']; ?>;
     color:              <?php echo $GLOBALS['cfg']['NaviPointerColor']; ?>;
@@ -132,10 +139,10 @@ div#reloadlink a img,
 div#leftframelinks a img.icon {
     margin:             0;
     padding:            0.2em;
-    border:             0.05em solid <?php echo $GLOBALS['cfg']['NaviColor']; ?>;
+    border:             0.1em solid <?php echo $GLOBALS['cfg']['NaviColor']; ?>;
 }
 
-div#leftframelinks a:hover {
+div#leftframelinks a:hover img {
     background:         <?php echo $GLOBALS['cfg']['NaviPointerBackground']; ?>;
     color:              <?php echo $GLOBALS['cfg']['NaviPointerColor']; ?>;
 }