Annotation of loncom/html/adm/codemirror/codemirror-combined-xml.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:   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: 

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