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