[Summary view] [Print] [Text view]

   1  /**
   2   * @copyright   (C) 2009 Open Source Matters, Inc. <https://www.joomla.org>
   3   * @license     GNU General Public License version 2 or later; see LICENSE.txt
   4   */
   5  
   6  .CodeMirror {
   7    margin-bottom: 15px;
   8    border: 1px solid #ccc;
   9  }
  10  
  11  /* In order to hide the Joomla menu */
  12  .CodeMirror-fullscreen {
  13    z-index: 1040;
  14  }
  15  
  16  /* Make the fold marker a little more visible/nice */
  17  .CodeMirror-foldmarker {
  18    background: rgb(255,128,0);
  19    background: rgba(255,128,0,.5);
  20    box-shadow: inset 0 0 2px rgba(255,255,255,.5);
  21    font-family: serif;
  22    font-size: 90%;
  23    border-radius: 1em;
  24    padding: 0 1em;
  25    vertical-align: middle;
  26    color: white;
  27    text-shadow: none;
  28  }
  29  
  30  .CodeMirror-foldgutter,
  31  .CodeMirror-markergutter {
  32    width: 1.2em;
  33    text-align: center;
  34  }
  35  .CodeMirror-markergutter {
  36    cursor: pointer;
  37  }
  38  .CodeMirror-markergutter-mark {
  39    cursor: pointer;
  40    text-align: center;
  41  }
  42  .CodeMirror-markergutter-mark:after {
  43    content: "\25CF";
  44  }