Return to codemirror-combined-xml.css CVS log

Up to [LON-CAPA] / loncom / html / adm / codemirror

Codemirror files.

    1: /* BASICS */
    2: 
    3: .CodeMirror {
    4:   /* Set height, width, borders, and global font properties here */
    5:   font-family: monospace;
    6:   overflow: hidden;
    7:   position: relative;
    8:   /*height: auto;*/
    9: }
   10: .CodeMirror-scroll {
   11:   /* Set scrolling behaviour here */
   12:   /*overflow-y: hidden;
   13:   overflow-x: auto;*/
   14:   height: auto;
   15: }
   16: 
   17: /* PADDING */
   18: 
   19: .CodeMirror-lines {
   20:   padding: 4px 0; /* Vertical padding around content */
   21: }
   22: .CodeMirror pre {
   23:   padding: 0 4px; /* Horizontal padding of content */
   24: }
   25: 
   26: .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
   27:   background-color: white; /* The little square between H and V scrollbars */
   28: }
   29: 
   30: /* GUTTER */
   31: 
   32: .CodeMirror-gutters {
   33:   border-right: 1px solid #ddd;
   34:   background-color: #black;
   35:   white-space: nowrap;
   36: }
   37: .CodeMirror-linenumbers {}
   38: .CodeMirror-linenumber {
   39:   padding: 0 3px 0 5px;
   40:   min-width: 20px;
   41:   text-align: right;
   42:   color: #999;
   43: }
   44: 
   45: /* CURSOR */
   46: 
   47: .CodeMirror div.CodeMirror-cursor {
   48:   border-left: 1px solid black;
   49:   z-index: 3;
   50: }
   51: /* Shown when moving in bi-directional text */
   52: .CodeMirror div.CodeMirror-secondarycursor {
   53:   border-left: 1px solid silver;
   54: }
   55: .CodeMirror.cm-keymap-fat-cursor div.CodeMirror-cursor {
   56:   width: auto;
   57:   border: 0;
   58:   background: #7e7;
   59:   z-index: 1;
   60: }
   61: /* Can style cursor different in overwrite (non-insert) mode */
   62: .CodeMirror div.CodeMirror-cursor.CodeMirror-overwrite {}
   63: 
   64: .cm-tab { display: inline-block; }
   65: 
   66: /* DEFAULT THEME */
   67: 
   68: .cm-s-default .cm-keyword {color: #708;}
   69: .cm-s-default .cm-atom {color: #219;}
   70: .cm-s-default .cm-number {color: #164;}
   71: .cm-s-default .cm-def {color: #00f;}
   72: .cm-s-default .cm-variable {color: black;}
   73: .cm-s-default .cm-variable-2 {color: #05a;}
   74: .cm-s-default .cm-variable-3 {color: #085;}
   75: .cm-s-default .cm-property {color: black;}
   76: .cm-s-default .cm-operator {color: black;}
   77: .cm-s-default .cm-comment {color: #a50;}
   78: .cm-s-default .cm-string {color: #a11;}
   79: .cm-s-default .cm-string-2 {color: #f50;}
   80: .cm-s-default .cm-meta {color: #555;}
   81: .cm-s-default .cm-error {color: #f00;}
   82: .cm-s-default .cm-qualifier {color: #555;}
   83: .cm-s-default .cm-builtin {color: #30a;}
   84: .cm-s-default .cm-bracket {color: #997;}
   85: .cm-s-default .cm-tag {color: #170;}
   86: .cm-s-default .cm-attribute {color: #00c;}
   87: .cm-s-default .cm-header {color: blue;}
   88: .cm-s-default .cm-quote {color: #090;}
   89: .cm-s-default .cm-hr {color: #999;}
   90: .cm-s-default .cm-link {color: #00c;}
   91: 
   92: .cm-negative {color: #d44;}
   93: .cm-positive {color: #292;}
   94: .cm-header, .cm-strong {font-weight: bold;}
   95: .cm-em {font-style: italic;}
   96: .cm-link {text-decoration: underline;}
   97: 
   98: .cm-invalidchar {color: #f00;}
   99: 
  100: div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
  101: div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
  102: .CodeMirror-activeline-background {background: #e8f2ff;}
  103: 
  104: /* STOP */
  105: 
  106: /* The rest of this file contains styles related to the mechanics of
  107:    the editor. You probably shouldn't touch them. */
  108: 
  109: .CodeMirror {
  110:   font-size: 0.95em;
  111:   font-family: Menlo,Monaco,"Andale Mono","lucida console","Courier New",monospace !important;
  112:   line-height: 1.35;
  113:   position: relative;
  114:   overflow: hidden;
  115:   background: white;
  116:   color: black;
  117: }
  118: 
  119: .CodeMirror div {
  120:   margin: 0;
  121: }
  122: 
  123: .CodeMirror-scroll {
  124:   /* 30px is the magic margin used to hide the element's real scrollbars */
  125:   /* See overflow: hidden in .CodeMirror */
  126:   margin-bottom: -30px; margin-right: -30px;
  127:   padding-bottom: 30px; padding-right: 30px;
  128:   outline: none; /* Prevent dragging from highlighting the element */
  129:   position: relative;
  130: }
  131: .CodeMirror-sizer {
  132:   position: relative;
  133: }
  134: 
  135: /* The fake, visible scrollbars. Used to force redraw during scrolling
  136:    before actuall scrolling happens, thus preventing shaking and
  137:    flickering artifacts. */
  138: .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
  139:   position: absolute;
  140:   z-index: 6;
  141:   display: none;
  142: }
  143: .CodeMirror-vscrollbar {
  144:   right: 0; top: 0;
  145:   overflow-x: hidden;
  146:   overflow-y: hidden;
  147: }
  148: .CodeMirror-hscrollbar {
  149:   bottom: 0; left: 0;
  150:   overflow-y: hidden;
  151:   overflow-x: hidden;
  152: }
  153: .CodeMirror-scrollbar-filler {
  154:   right: 0; bottom: 0;
  155: }
  156: .CodeMirror-gutter-filler {
  157:   left: 0; bottom: 0;
  158: }
  159: 
  160: .CodeMirror-gutters {
  161:   position: absolute; left: 0; top: 0;
  162:   padding-bottom: 30px;
  163:   z-index: 3;
  164: }
  165: .CodeMirror-gutter {
  166:   white-space: normal;
  167:   height: 100%;
  168:   padding-bottom: 0px;
  169:   margin-bottom: -32px;
  170:   display: inline-block;
  171:   /* Hack to make IE7 behave */
  172:   *zoom:1;
  173:   *display:inline;
  174: }
  175: .CodeMirror-gutter-elt {
  176:   position: absolute;
  177:   cursor: default;
  178:   z-index: 4;
  179: }
  180: 
  181: .CodeMirror-lines {
  182:   cursor: text;
  183: }
  184: .CodeMirror pre {
  185:   /* Reset some styles that the rest of the page might have set */
  186:   -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
  187:   border-width: 0;
  188:   background: transparent;
  189:   font-family: inherit;
  190:   font-size: inherit;
  191:   margin: 0;
  192:   white-space: pre;
  193:   word-wrap: normal;
  194:   line-height: inherit;
  195:   color: inherit;
  196:   z-index: 2;
  197:   position: relative;
  198:   overflow: visible;
  199: }
  200: .CodeMirror-wrap pre {
  201:   word-wrap: break-word;
  202:   white-space: pre-wrap;
  203:   word-break: normal;
  204: }
  205: .CodeMirror-code pre {
  206:   border-right: 30px solid transparent;
  207:   width: -webkit-fit-content;
  208:   width: -moz-fit-content;
  209:   width: fit-content;
  210: }
  211: .CodeMirror-wrap .CodeMirror-code pre {
  212:   border-right: none;
  213:   width: auto;
  214: }
  215: .CodeMirror-linebackground {
  216:   position: absolute;
  217:   left: 0; right: 0; top: 0; bottom: 0;
  218:   z-index: 0;
  219: }
  220: 
  221: .CodeMirror-linewidget {
  222:   position: relative;
  223:   z-index: 2;
  224:   overflow: auto;
  225: }
  226: 
  227: .CodeMirror-widget {
  228: }
  229: 
  230: .CodeMirror-wrap .CodeMirror-scroll {
  231:   overflow-x: hidden;
  232: }
  233: 
  234: .CodeMirror-measure {
  235:   position: absolute;
  236:   width: 100%; height: 0px;
  237:   overflow: hidden;
  238:   visibility: hidden;
  239: }
  240: .CodeMirror-measure pre { position: static; }
  241: 
  242: .CodeMirror div.CodeMirror-cursor {
  243:   position: absolute;
  244:   visibility: hidden;
  245:   border-right: none;
  246:   width: 0;
  247: }
  248: .CodeMirror-focused div.CodeMirror-cursor {
  249:   visibility: visible;
  250: }
  251: 
  252: .CodeMirror-selected { background: #d9d9d9; }
  253: .CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
  254: 
  255: .cm-searching {
  256:   background: #ffa;
  257:   background: rgba(255, 255, 0, .4);
  258: }
  259: 
  260: /* IE7 hack to prevent it from returning funny offsetTops on the spans */
  261: .CodeMirror span { *vertical-align: text-bottom; }
  262: 
  263: @media print {
  264:   /* Hide the cursor when printing */
  265:   .CodeMirror div.CodeMirror-cursor {
  266:     visibility: hidden;
  267:   }
  268: }
  269: 
  270: /* ECLIPSE THEME */
  271: .cm-s-eclipse span.cm-meta {color: #8F1717;}
  272: .cm-s-eclipse span.cm-keyword { line-height: 1em; font-weight: bold; color: #black; }
  273: .cm-s-eclipse span.cm-atom {color: #219;}
  274: .cm-s-eclipse span.cm-number {color: black;}
  275: .cm-s-eclipse span.cm-def {color: #00f;}
  276: .cm-s-eclipse span.cm-variable {color: #769376;}
  277: .cm-s-eclipse span.cm-variable-2 {color: #0000C0;}
  278: .cm-s-eclipse span.cm-variable-3 {color: #0000C0;}
  279: .cm-s-eclipse span.cm-property {color: #164;}
  280: .cm-s-eclipse span.cm-operator {color: #c64;}
  281: .cm-s-eclipse span.cm-comment {color: #3F7F5F;}
  282: .cm-s-eclipse span.cm-string {color: #0500b2;}
  283: .cm-s-eclipse span.cm-string-2 {color: #f50;}
  284: .cm-s-eclipse span.cm-error {color: #f00;}
  285: .cm-s-eclipse span.cm-qualifier {color: #555;}
  286: .cm-s-eclipse span.cm-builtin {color: #30a;}
  287: .cm-s-eclipse span.cm-bracket {color: #cc7;}
  288: .cm-s-eclipse span.cm-tag {color: #170;}
  289: .cm-s-eclipse span.cm-attribute {color: #00c;}
  290: .cm-s-eclipse span.cm-link {color: #219;}
  291: 
  292: .cm-s-eclipse .CodeMirror-activeline-background {background: #e8f2ff !important;}
  293: .cm-s-eclipse .CodeMirror-matchingbracket {outline:1px solid grey; color:black !important;}
  294: