2 /* vim: set expandtab sw=4 ts=4 sts=4: */
4 * navigation css file from theme Original
7 * @package phpMyAdmin-theme
11 // unplanned execution path
12 if (!defined('PMA_MINIMUM_COMMON')) {
16 /******************************************************************************/
19 font
-size
: <?php
echo (null !== $_SESSION['PMA_Config']->get('fontsize') ?
$_SESSION['PMA_Config']->get('fontsize') : $_COOKIE['pma_fontsize']); ?
>;
22 input
, select
, textarea
{
27 <?php
if (! empty($GLOBALS['cfg']['FontFamily'])) { ?
>
28 font
-family
: <?php
echo $GLOBALS['cfg']['FontFamily']; ?
>;
30 background
: <?php
echo (isset($_SESSION['tmp_user_values']['custom_color']) ?
$_SESSION['tmp_user_values']['custom_color'] : $GLOBALS['cfg']['NaviBackground']); ?
>;
31 color
: <?php
echo $GLOBALS['cfg']['NaviColor']; ?
>;
33 padding
: 0.2em
0.2em
0.2em
0.2em
;
43 text
-decoration
: none
;
62 /* buttons in some browsers (eg. Konqueror) are block elements,
69 /******************************************************************************/
72 /* leave some space between icons and text */
74 vertical
-align
: middle
;
81 color
: <?php
echo $GLOBALS['cfg']['NaviDatabaseNameColor']; ?
>;
84 /******************************************************************************/
85 /* specific elements */
88 <?php
//better echo $GLOBALS['cfg']['logoBGC']; ?>
89 background
-color
: <?php
echo (isset($_SESSION['tmp_user_values']['custom_color']) ?
$_SESSION['tmp_user_values']['custom_color'] : $GLOBALS['cfg']['NaviBackground']); ?
>;
97 padding
-bottom
: 0.5em
;
101 margin
-bottom
: 0.5em
;
102 padding
-bottom
: 0.5em
;
103 padding
-<?php
echo $left; ?
>: 1.5em
;
110 div
#navidbpageselector a,
112 background
: <?php
echo $GLOBALS['cfg']['NaviBackground']; ?
>;
113 color
: <?php
echo $GLOBALS['cfg']['NaviColor']; ?
>;
116 ul
#databaseList a:hover {
117 background
: <?php
echo $GLOBALS['cfg']['NaviPointerBackground']; ?
>;
118 color
: <?php
echo $GLOBALS['cfg']['NaviPointerColor']; ?
>;
121 ul
#databaseList li.selected a {
122 background
: <?php
echo $GLOBALS['cfg']['BrowseMarkerBackground']; ?
>;
123 color
: <?php
echo $GLOBALS['cfg']['BrowseMarkerColor']; ?
>;
126 div
#leftframelinks .icon {
131 div
#leftframelinks a img.icon {
134 border
: 0.05em solid
<?php
echo $GLOBALS['cfg']['NaviColor']; ?
>;
137 div
#leftframelinks a:hover {
138 background
: <?php
echo $GLOBALS['cfg']['NaviPointerBackground']; ?
>;
139 color
: <?php
echo $GLOBALS['cfg']['NaviPointerColor']; ?
>;
143 #body_leftFrame #list_server {
144 list-style
-image
: url(<?php
echo $GLOBALS['cfg']['ThemePath']; ?
>/original
/img
/s_host
.png
);
145 list-style
-position
: inside
;
146 list-style
-type
: none
;
151 #body_leftFrame #list_server li {
157 div
#left_tableList ul {
158 list-style
-type
: none
;
159 list-style
-position
: outside
;
163 background
: <?php
echo (isset($_SESSION['tmp_user_values']['custom_color']) ?
$_SESSION['tmp_user_values']['custom_color'] : $GLOBALS['cfg']['NaviBackground']); ?
>;
166 div
#left_tableList ul ul {
170 div
#left_tableList a {
171 background
: <?php
echo $GLOBALS['cfg']['NaviBackground']; ?
>;
172 color
: <?php
echo $GLOBALS['cfg']['NaviColor']; ?
>;
173 text
-decoration
: none
;
176 div
#left_tableList a:hover {
177 background
: <?php
echo $GLOBALS['cfg']['NaviBackground']; ?
>;
178 color
: <?php
echo $GLOBALS['cfg']['NaviColor']; ?
>;
179 text
-decoration
: underline
;
182 div
#left_tableList li {
188 <?php
if ($GLOBALS['cfg']['BrowseMarkerColor']) { ?
>
190 div
#left_tableList > ul li.marked > a,
191 div
#left_tableList > ul li.marked {
192 background
: <?php
echo $GLOBALS['cfg']['BrowseMarkerBackground']; ?
>;
193 color
: <?php
echo $GLOBALS['cfg']['BrowseMarkerColor']; ?
>;
197 <?php
if ($GLOBALS['cfg']['LeftPointerEnable']) { ?
>
198 div
#left_tableList > ul li:hover > a,
199 div
#left_tableList > ul li:hover {
200 background
: <?php
echo $GLOBALS['cfg']['NaviPointerBackground']; ?
>;
201 color
: <?php
echo $GLOBALS['cfg']['NaviPointerColor']; ?
>;
205 div
#left_tableList img {
207 vertical
-align
: middle
;
210 div
#left_tableList ul ul {
211 margin
-<?php
echo $left; ?
>: 0;
212 padding
-<?php
echo $left; ?
>: 0.1em
;
213 border
-<?php
echo $left; ?
>: 0.1em solid
<?php
echo $GLOBALS['cfg']['NaviColor']; ?
>;
214 padding
-bottom
: 0.1em
;
215 border
-bottom
: 0.1em solid
<?php
echo $GLOBALS['cfg']['NaviColor']; ?
>;
218 /* for the servers list in navi panel */
221 color
: <?php
echo $GLOBALS['cfg']['NaviColor']; ?
>;
223 #serverinfo a:hover {
224 background
: <?php
echo $GLOBALS['cfg']['NaviPointerBackground']; ?
>;
225 color
: <?php
echo $GLOBALS['cfg']['NaviPointerColor']; ?
>;