Annotation of loncom/html/adm/codemirror/codemirror-combined.css, revision 1.1

1.1     ! droeschl    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: 

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>