Path: blob/main/website/GAUSS/css/codemirror.css
2941 views
/* BASICS */12.CodeMirror {3/* Set height, width, borders, and global font properties here */4font-family: monospace;5height: 300px;6border: 1px solid #000000;7cursor: text;8}910/* PADDING */1112.CodeMirror-lines {13padding: 4px 0; /* Vertical padding around content */14}15.CodeMirror pre {16padding: 0 4px; /* Horizontal padding of content */17}1819.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {20background-color: white; /* The little square between H and V scrollbars */21}2223/* GUTTER */2425.CodeMirror-gutters {26border-right: 1px solid #ddd;27background-color: #f7f7f7;28white-space: nowrap;29}30.CodeMirror-linenumbers {}31.CodeMirror-linenumber {32padding: 0 3px 0 5px;33min-width: 20px;34text-align: right;35color: #999;36-moz-box-sizing: content-box;37box-sizing: content-box;38}3940.CodeMirror-guttermarker { color: black; }41.CodeMirror-guttermarker-subtle { color: #999; }4243/* CURSOR */4445.CodeMirror div.CodeMirror-cursor {46border-left: 1px solid black;47}48/* Shown when moving in bi-directional text */49.CodeMirror div.CodeMirror-secondarycursor {50border-left: 1px solid silver;51}52.CodeMirror.cm-fat-cursor div.CodeMirror-cursor {53width: auto;54border: 0;55background: #7e7;56}57.CodeMirror.cm-fat-cursor div.CodeMirror-cursors {58z-index: 1;59}6061.cm-animate-fat-cursor {62width: auto;63border: 0;64-webkit-animation: blink 1.06s steps(1) infinite;65-moz-animation: blink 1.06s steps(1) infinite;66animation: blink 1.06s steps(1) infinite;67}68@-moz-keyframes blink {690% { background: #7e7; }7050% { background: none; }71100% { background: #7e7; }72}73@-webkit-keyframes blink {740% { background: #7e7; }7550% { background: none; }76100% { background: #7e7; }77}78@keyframes blink {790% { background: #7e7; }8050% { background: none; }81100% { background: #7e7; }82}8384/* Can style cursor different in overwrite (non-insert) mode */85div.CodeMirror-overwrite div.CodeMirror-cursor {}8687.cm-tab { display: inline-block; text-decoration: inherit; }8889.CodeMirror-ruler {90border-left: 1px solid #ccc;91position: absolute;92}9394/* DEFAULT THEME */9596.cm-s-default .cm-keyword {color: #708;}97.cm-s-default .cm-atom {color: #219;}98.cm-s-default .cm-number {color: #164;}99.cm-s-default .cm-def {color: #00f;}100.cm-s-default .cm-variable,101.cm-s-default .cm-punctuation,102.cm-s-default .cm-property,103.cm-s-default .cm-operator {}104.cm-s-default .cm-variable-2 {color: #05a;}105.cm-s-default .cm-variable-3 {color: #085;}106.cm-s-default .cm-comment {color: #a50;}107.cm-s-default .cm-string {color: #a11;}108.cm-s-default .cm-string-2 {color: #f50;}109.cm-s-default .cm-meta {color: #555;}110.cm-s-default .cm-qualifier {color: #555;}111.cm-s-default .cm-builtin {color: #30a;}112.cm-s-default .cm-bracket {color: #997;}113.cm-s-default .cm-tag {color: #170;}114.cm-s-default .cm-attribute {color: #00c;}115.cm-s-default .cm-header {color: blue;}116.cm-s-default .cm-quote {color: #090;}117.cm-s-default .cm-hr {color: #999;}118.cm-s-default .cm-link {color: #00c;}119120.cm-negative {color: #d44;}121.cm-positive {color: #292;}122.cm-header, .cm-strong {font-weight: bold;}123.cm-em {font-style: italic;}124.cm-link {text-decoration: underline;}125.cm-strikethrough {text-decoration: line-through;}126127.cm-s-default .cm-error {color: #f00;}128.cm-invalidchar {color: #f00;}129130/* Default styles for common addons */131132div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}133div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}134.CodeMirror-matchingtag { background: rgba(255, 150, 0, .3); }135.CodeMirror-activeline-background {background: #e8f2ff;}136137/* STOP */138139/* The rest of this file contains styles related to the mechanics of140the editor. You probably shouldn't touch them. */141142.CodeMirror {143line-height: 1;144position: relative;145overflow: hidden;146background: white;147color: black;148}149150.CodeMirror-scroll {151overflow: scroll !important; /* Things will break if this is overridden */152/* 30px is the magic margin used to hide the element's real scrollbars */153/* See overflow: hidden in .CodeMirror */154margin-bottom: -30px; margin-right: -30px;155padding-bottom: 30px;156height: 100%;157outline: none; /* Prevent dragging from highlighting the element */158position: relative;159-moz-box-sizing: content-box;160box-sizing: content-box;161}162.CodeMirror-sizer {163position: relative;164border-right: 30px solid transparent;165-moz-box-sizing: content-box;166box-sizing: content-box;167}168169/* The fake, visible scrollbars. Used to force redraw during scrolling170before actuall scrolling happens, thus preventing shaking and171flickering artifacts. */172.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {173position: absolute;174z-index: 6;175display: none;176}177.CodeMirror-vscrollbar {178right: 0; top: 0;179overflow-x: hidden;180overflow-y: scroll;181}182.CodeMirror-hscrollbar {183bottom: 0; left: 0;184overflow-y: hidden;185overflow-x: scroll;186}187.CodeMirror-scrollbar-filler {188right: 0; bottom: 0;189}190.CodeMirror-gutter-filler {191left: 0; bottom: 0;192}193194.CodeMirror-gutters {195position: absolute; left: 0; top: 0;196z-index: 3;197}198.CodeMirror-gutter {199white-space: normal;200height: 100%;201-moz-box-sizing: content-box;202box-sizing: content-box;203display: inline-block;204margin-bottom: -30px;205/* Hack to make IE7 behave */206*zoom:1;207*display:inline;208}209.CodeMirror-gutter-wrapper {210position: absolute;211z-index: 4;212height: 100%;213}214.CodeMirror-gutter-elt {215position: absolute;216cursor: default;217z-index: 4;218}219220.CodeMirror-lines {221cursor: text;222min-height: 1px; /* prevents collapsing before first draw */223}224.CodeMirror pre {225/* Reset some styles that the rest of the page might have set */226-moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;227border-width: 0;228background: transparent;229font-family: inherit;230font-size: inherit;231margin: 0;232white-space: pre;233word-wrap: normal;234line-height: inherit;235color: inherit;236z-index: 2;237position: relative;238overflow: visible;239}240.CodeMirror-wrap pre {241word-wrap: break-word;242white-space: pre-wrap;243word-break: normal;244}245246.CodeMirror-linebackground {247position: absolute;248left: 0; right: 0; top: 0; bottom: 0;249z-index: 0;250}251252.CodeMirror-linewidget {253position: relative;254z-index: 2;255overflow: auto;256}257258.CodeMirror-widget {}259260.CodeMirror-measure {261position: absolute;262width: 100%;263height: 0;264overflow: hidden;265visibility: hidden;266}267.CodeMirror-measure pre { position: static; }268269.CodeMirror div.CodeMirror-cursor {270position: absolute;271border-right: none;272width: 0;273}274275div.CodeMirror-cursors {276visibility: hidden;277position: relative;278z-index: 3;279}280.CodeMirror-focused div.CodeMirror-cursors {281visibility: visible;282}283284.CodeMirror-selected { background: #d9d9d9; }285.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }286.CodeMirror-crosshair { cursor: crosshair; }287288.cm-searching {289background: #ffa;290background: rgba(255, 255, 0, .4);291}292293/* IE7 hack to prevent it from returning funny offsetTops on the spans */294.CodeMirror span { *vertical-align: text-bottom; }295296/* Used to force a border model for a node */297.cm-force-border { padding-right: .1px; }298299@media print {300/* Hide the cursor when printing */301.CodeMirror div.CodeMirror-cursors {302visibility: hidden;303}304}305306/* See issue #2901 */307.cm-tab-wrap-hack:after { content: ''; }308309/* Help users use markselection to safely style text background */310span.CodeMirror-selectedtext { background: none; }311312313