phpmyadmin/themes/pmahomme/css/codemirror.css.php

   1 <?php
   2 /* vim: set expandtab sw=4 ts=4 sts=4: */
   3 /**
   4  * Styles for CodeMirror editor
   5  * for the pmahomme theme
   6  *
   7  * @package    PhpMyAdmin-theme
   8  * @subpackage PMAHomme
   9  */
  10
  11 // unplanned execution path
  12 if (! defined('PMA_MINIMUM_COMMON') && ! defined('TESTSUITE')) {
  13     exit();
  14 }
  15 ?>
  16 .CodeMirror {
  17   line-height: 1em;
  18   font-family: monospace;
  19   background: #fff;
  20   border: 1px solid #000;
  21   /* Necessary so the scrollbar can be absolutely positioned within the wrapper on Lion. */
  22   position: relative;
  23   /* This prevents unwanted scrollbars from showing up on the body and wrapper in IE. */
  24   overflow: hidden;
  25 }
  26
  27 .CodeMirror-scroll {
  28   overflow: auto;
  29   height: <?php echo ceil($GLOBALS['cfg']['TextareaRows'] * 1.2); ?>em;
  30   /* This is needed to prevent an IE[67] bug where the scrolled content
  31      is visible outside of the scrolling box. */
  32   position: relative;
  33   outline: none;
  34 }
  35
  36 /* Vertical scrollbar */
  37 .CodeMirror-scrollbar {
  38   position: absolute;
  39   right: 0; top: 0;
  40   overflow-x: hidden;
  41   overflow-y: scroll;
  42   z-index: 5;
  43 }
  44 .CodeMirror-scrollbar-inner {
  45   /* This needs to have a nonzero width in order for the scrollbar to appear
  46      in Firefox and IE9. */
  47   width: 1px;
  48 }
  49 .CodeMirror-scrollbar.cm-sb-overlap {
  50   /* Ensure that the scrollbar appears in Lion, and that it overlaps the content
  51      rather than sitting to the right of it. */
  52   position: absolute;
  53   z-index: 1;
  54   float: none;
  55   right: 0;
  56   min-width: 12px;
  57 }
  58 .CodeMirror-scrollbar.cm-sb-nonoverlap {
  59   min-width: 12px;
  60 }
  61 .CodeMirror-scrollbar.cm-sb-ie7 {
  62   min-width: 18px;
  63 }
  64
  65 .CodeMirror-gutter {
  66   position: absolute; left: 0; top: 0;
  67   z-index: 10;
  68   background-color: #f7f7f7;
  69   border-right: 1px solid #eee;
  70   min-width: 2em;
  71   height: 100%;
  72 }
  73 .CodeMirror-gutter-text {
  74   color: #aaa;
  75   text-align: right;
  76   padding: .4em .2em .4em .4em;
  77   white-space: pre !important;
  78   cursor: default;
  79 }
  80 .CodeMirror-lines {
  81   padding: .4em;
  82   white-space: pre;
  83   cursor: text;
  84 }
  85
  86 .CodeMirror pre {
  87   -moz-border-radius: 0;
  88   -webkit-border-radius: 0;
  89   -o-border-radius: 0;
  90   border-radius: 0;
  91   border-width: 0; margin: 0; padding: 0; background: transparent;
  92   font-family: inherit;
  93   font-size: inherit;
  94   padding: 0; margin: 0;
  95   white-space: pre;
  96   word-wrap: normal;
  97   line-height: inherit;
  98   color: inherit;
  99   overflow: visible;
 100 }
 101
 102 .CodeMirror-wrap pre {
 103   word-wrap: break-word;
 104   white-space: pre-wrap;
 105   word-break: normal;
 106 }
 107 .CodeMirror-wrap .CodeMirror-scroll {
 108   overflow-x: hidden;
 109 }
 110
 111 .CodeMirror textarea {
 112   outline: none !important;
 113   font-family: inherit !important;
 114   font-size: inherit !important;
 115 }
 116
 117 .CodeMirror pre.CodeMirror-cursor {
 118   z-index: 10;
 119   position: absolute;
 120   visibility: hidden;
 121   border-<?php echo $left; ?>: 1px solid black !important;
 122   border-<?php echo $right; ?>: none;
 123   width: 0;
 124 }
 125 .cm-keymap-fat-cursor pre.CodeMirror-cursor {
 126   width: auto;
 127   border: 0;
 128   background: transparent;
 129   background: rgba(0, 200, 0, .4);
 130   filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=#6600c800, endColorstr=#4c00c800);
 131 }
 132 /* Kludge to turn off filter in ie9+, which also accepts rgba */
 133 .cm-keymap-fat-cursor pre.CodeMirror-cursor:not(#nonsense_id) {
 134   filter: progid:DXImageTransform.Microsoft.gradient(enabled=false);
 135 }
 136 .CodeMirror pre.CodeMirror-cursor.CodeMirror-overwrite {}
 137 .CodeMirror-focused pre.CodeMirror-cursor {
 138   visibility: visible;
 139 }
 140
 141 div.CodeMirror-selected { background: #d9d9d9; }
 142 .CodeMirror-focused div.CodeMirror-selected { background: #d7d4f0; }
 143
 144 .CodeMirror-searching {
 145   background: #ffa;
 146   background: rgba(255, 255, 0, .4);
 147 }
 148
 149
 150 div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
 151 div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
 152
 153 @media print {
 154
 155   /* Hide the cursor when printing */
 156   .CodeMirror pre.CodeMirror-cursor {
 157     visibility: hidden;
 158   }
 159
 160 }
 161
 162 <?php echo $_SESSION['PMA_Theme']->getCssCodeMirror(); ?>