123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162 |
- <?php
- /* vim: set expandtab sw=4 ts=4 sts=4: */
- /**
- * Styles for CodeMirror editor
- * for the pmahomme theme
- *
- * @package PhpMyAdmin-theme
- * @subpackage PMAHomme
- */
- // unplanned execution path
- if (! defined('PMA_MINIMUM_COMMON') && ! defined('TESTSUITE')) {
- exit();
- }
- ?>
- .CodeMirror {
- line-height: 1em;
- font-family: monospace;
- background: #fff;
- border: 1px solid #000;
- /* Necessary so the scrollbar can be absolutely positioned within the wrapper on Lion. */
- position: relative;
- /* This prevents unwanted scrollbars from showing up on the body and wrapper in IE. */
- overflow: hidden;
- }
- .CodeMirror-scroll {
- overflow: auto;
- height: <?php echo ceil($GLOBALS['cfg']['TextareaRows'] * 1.2); ?>em;
- /* This is needed to prevent an IE[67] bug where the scrolled content
- is visible outside of the scrolling box. */
- position: relative;
- outline: none;
- }
- /* Vertical scrollbar */
- .CodeMirror-scrollbar {
- position: absolute;
- right: 0; top: 0;
- overflow-x: hidden;
- overflow-y: scroll;
- z-index: 5;
- }
- .CodeMirror-scrollbar-inner {
- /* This needs to have a nonzero width in order for the scrollbar to appear
- in Firefox and IE9. */
- width: 1px;
- }
- .CodeMirror-scrollbar.cm-sb-overlap {
- /* Ensure that the scrollbar appears in Lion, and that it overlaps the content
- rather than sitting to the right of it. */
- position: absolute;
- z-index: 1;
- float: none;
- right: 0;
- min-width: 12px;
- }
- .CodeMirror-scrollbar.cm-sb-nonoverlap {
- min-width: 12px;
- }
- .CodeMirror-scrollbar.cm-sb-ie7 {
- min-width: 18px;
- }
- .CodeMirror-gutter {
- position: absolute; left: 0; top: 0;
- z-index: 10;
- background-color: #f7f7f7;
- border-right: 1px solid #eee;
- min-width: 2em;
- height: 100%;
- }
- .CodeMirror-gutter-text {
- color: #aaa;
- text-align: right;
- padding: .4em .2em .4em .4em;
- white-space: pre !important;
- cursor: default;
- }
- .CodeMirror-lines {
- padding: .4em;
- white-space: pre;
- cursor: text;
- }
- .CodeMirror pre {
- -moz-border-radius: 0;
- -webkit-border-radius: 0;
- -o-border-radius: 0;
- border-radius: 0;
- border-width: 0; margin: 0; padding: 0; background: transparent;
- font-family: inherit;
- font-size: inherit;
- padding: 0; margin: 0;
- white-space: pre;
- word-wrap: normal;
- line-height: inherit;
- color: inherit;
- overflow: visible;
- }
- .CodeMirror-wrap pre {
- word-wrap: break-word;
- white-space: pre-wrap;
- word-break: normal;
- }
- .CodeMirror-wrap .CodeMirror-scroll {
- overflow-x: hidden;
- }
- .CodeMirror textarea {
- outline: none !important;
- font-family: inherit !important;
- font-size: inherit !important;
- }
- .CodeMirror pre.CodeMirror-cursor {
- z-index: 10;
- position: absolute;
- visibility: hidden;
- border-<?php echo $left; ?>: 1px solid black !important;
- border-<?php echo $right; ?>: none;
- width: 0;
- }
- .cm-keymap-fat-cursor pre.CodeMirror-cursor {
- width: auto;
- border: 0;
- background: transparent;
- background: rgba(0, 200, 0, .4);
- filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=#6600c800, endColorstr=#4c00c800);
- }
- /* Kludge to turn off filter in ie9+, which also accepts rgba */
- .cm-keymap-fat-cursor pre.CodeMirror-cursor:not(#nonsense_id) {
- filter: progid:DXImageTransform.Microsoft.gradient(enabled=false);
- }
- .CodeMirror pre.CodeMirror-cursor.CodeMirror-overwrite {}
- .CodeMirror-focused pre.CodeMirror-cursor {
- visibility: visible;
- }
- div.CodeMirror-selected { background: #d9d9d9; }
- .CodeMirror-focused div.CodeMirror-selected { background: #d7d4f0; }
- .CodeMirror-searching {
- background: #ffa;
- background: rgba(255, 255, 0, .4);
- }
- div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
- div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
- @media print {
- /* Hide the cursor when printing */
- .CodeMirror pre.CodeMirror-cursor {
- visibility: hidden;
- }
- }
- <?php echo $_SESSION['PMA_Theme']->getCssCodeMirror(); ?>
|