diff options
author | Michal Čihař <mcihar@suse.cz> | 2012-05-14 15:40:30 +0400 |
---|---|---|
committer | Michal Čihař <mcihar@suse.cz> | 2012-05-14 15:40:53 +0400 |
commit | e69599d282979992adfe36a31c2aee6239691b8f (patch) | |
tree | edf0f5e64e65516253fd46fd3a8437a61fe121ad /themes | |
parent | bb3907e3f05908ba28abb821c5555a39575609c3 (diff) |
Consistent coding style
Diffstat (limited to 'themes')
-rw-r--r-- | themes/original/css/theme_right.css.php | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/themes/original/css/theme_right.css.php b/themes/original/css/theme_right.css.php index cde5594fd5..2f40a01cff 100644 --- a/themes/original/css/theme_right.css.php +++ b/themes/original/css/theme_right.css.php @@ -13,16 +13,20 @@ if (!defined('PMA_MINIMUM_COMMON') && !defined('TESTSUITE')) { } ?> /******************************************************************************/ + /* general tags */ html { font-size: <?php echo (null !== $GLOBALS['PMA_Config']->get('fontsize') ? $GLOBALS['PMA_Config']->get('fontsize') : ( isset($_COOKIE['pma_fontsize']) ? $_COOKIE['pma_fontsize'] : '82%'));?>; } -input, select, textarea { +input, +select, +textarea { font-size: 1em; } + body { <?php if (! empty($GLOBALS['cfg']['FontFamily'])) { ?> font-family: <?php echo $GLOBALS['cfg']['FontFamily']; ?>; @@ -2265,8 +2269,8 @@ fieldset .disabled-field td { .CodeMirror { font-size: 140%; font-family: monospace; - background: white; - border: 1px solid black; + background: #fff; + border: 1px solid #000; } .CodeMirror-scroll { @@ -2327,6 +2331,7 @@ fieldset .disabled-field td { visibility: hidden; border-left: 1px solid black !important; } + .CodeMirror-focused .CodeMirror-cursor { visibility: visible; } @@ -2335,12 +2340,18 @@ span.CodeMirror-selected { background: #ccc !important; color: HighlightText !important; } + .CodeMirror-focused span.CodeMirror-selected { background: Highlight !important; } -.CodeMirror-matchingbracket {color: #0f0 !important;} -.CodeMirror-nonmatchingbracket {color: #f22 !important;} +.CodeMirror-matchingbracket { + color: #0f0 !important; +} + +.CodeMirror-nonmatchingbracket { + color: #f22 !important; +} <?php echo $_SESSION['PMA_Theme']->getCssCodeMirror(); ?> |