/**
 * @copyright   (C) 2009 Open Source Matters, Inc. <https://www.joomla.org>
 * @license     GNU General Public License version 2 or later; see LICENSE.txt
 */

.CodeMirror {
  margin-bottom: 15px;
  border: 1px solid #ccc;
}

/* In order to hide the Joomla menu */
.CodeMirror-fullscreen {
  z-index: 1040;
}

/* Make the fold marker a little more visible/nice */
.CodeMirror-foldmarker {
  background: rgb(255,128,0);
  background: rgba(255,128,0,.5);
  box-shadow: inset 0 0 2px rgba(255,255,255,.5);
  font-family: serif;
  font-size: 90%;
  border-radius: 1em;
  padding: 0 1em;
  vertical-align: middle;
  color: white;
  text-shadow: none;
}

.CodeMirror-foldgutter,
.CodeMirror-markergutter {
  width: 1.2em;
  text-align: center;
}
.CodeMirror-markergutter {
  cursor: pointer;
}
.CodeMirror-markergutter-mark {
  cursor: pointer;
  text-align: center;
}
.CodeMirror-markergutter-mark:after {
  content: "\25CF";
}