| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325 |
- /*
- Solarized theme for code-mirror
- http://ethanschoonover.com/solarized
- */
-
- /*
- Solarized color palette
- http://ethanschoonover.com/solarized/img/solarized-palette.png
- */
-
- .solarized.base03 {
- color: #002b36;
- }
-
- .solarized.base02 {
- color: #073642;
- }
-
- .solarized.base01 {
- color: #586e75;
- }
-
- .solarized.base00 {
- color: #657b83;
- }
-
- .solarized.base0 {
- color: #839496;
- }
-
- .solarized.base1 {
- color: #93a1a1;
- }
-
- .solarized.base2 {
- color: #eee8d5;
- }
-
- .solarized.base3 {
- color: #fdf6e3;
- }
-
- .solarized.solar-yellow {
- color: #b58900;
- }
-
- .solarized.solar-orange {
- color: #cb4b16;
- }
-
- .solarized.solar-red {
- color: #dc322f;
- }
-
- .solarized.solar-magenta {
- color: #d33682;
- }
-
- .solarized.solar-violet {
- color: #6c71c4;
- }
-
- .solarized.solar-blue {
- color: #268bd2;
- }
-
- .solarized.solar-cyan {
- color: #2aa198;
- }
-
- .solarized.solar-green {
- color: #859900;
- }
-
- /* Color scheme for code-mirror */
-
- .cm-s-solarized {
- line-height: 1.45em;
- color-profile: sRGB;
- rendering-intent: auto;
- }
-
- .cm-s-solarized.cm-s-dark {
- color: #839496;
- background-color: #002b36;
- text-shadow: #002b36 0 1px;
- }
-
- .cm-s-solarized.cm-s-light {
- background-color: #fdf6e3;
- color: #657b83;
- text-shadow: #eee8d5 0 1px;
- }
-
- .cm-s-solarized .CodeMirror-widget {
- text-shadow: none;
- }
-
- .cm-s-solarized .cm-header {
- color: #586e75;
- }
-
- .cm-s-solarized .cm-quote {
- color: #93a1a1;
- }
-
- .cm-s-solarized .cm-keyword {
- color: #cb4b16;
- }
-
- .cm-s-solarized .cm-atom {
- color: #d33682;
- }
-
- .cm-s-solarized .cm-number {
- color: #d33682;
- }
-
- .cm-s-solarized .cm-def {
- color: #2aa198;
- }
-
- .cm-s-solarized .cm-variable {
- color: #839496;
- }
-
- .cm-s-solarized .cm-variable-2 {
- color: #b58900;
- }
-
- .cm-s-solarized .cm-variable-3, .cm-s-solarized .cm-type {
- color: #6c71c4;
- }
-
- .cm-s-solarized .cm-property {
- color: #2aa198;
- }
-
- .cm-s-solarized .cm-operator {
- color: #6c71c4;
- }
-
- .cm-s-solarized .cm-comment {
- color: #586e75;
- font-style: italic;
- }
-
- .cm-s-solarized .cm-string {
- color: #859900;
- }
-
- .cm-s-solarized .cm-string-2 {
- color: #b58900;
- }
-
- .cm-s-solarized .cm-meta {
- color: #859900;
- }
-
- .cm-s-solarized .cm-qualifier {
- color: #b58900;
- }
-
- .cm-s-solarized .cm-builtin {
- color: #d33682;
- }
-
- .cm-s-solarized .cm-bracket {
- color: #cb4b16;
- }
-
- .cm-s-solarized .CodeMirror-matchingbracket {
- color: #859900;
- }
-
- .cm-s-solarized .CodeMirror-nonmatchingbracket {
- color: #dc322f;
- }
-
- .cm-s-solarized .cm-tag {
- color: #93a1a1;
- }
-
- .cm-s-solarized .cm-attribute {
- color: #2aa198;
- }
-
- .cm-s-solarized .cm-hr {
- color: transparent;
- border-top: 1px solid #586e75;
- display: block;
- }
-
- .cm-s-solarized .cm-link {
- color: #93a1a1;
- cursor: pointer;
- }
-
- .cm-s-solarized .cm-special {
- color: #6c71c4;
- }
-
- .cm-s-solarized .cm-em {
- color: #999;
- text-decoration: underline;
- text-decoration-style: dotted;
- }
-
- .cm-s-solarized .cm-error,
- .cm-s-solarized .cm-invalidchar {
- color: #586e75;
- border-bottom: 1px dotted #dc322f;
- }
-
- .cm-s-solarized.cm-s-dark div.CodeMirror-selected {
- background: #073642;
- }
-
- .cm-s-solarized.cm-s-dark.CodeMirror ::selection {
- background: rgba(7, 54, 66, 0.99);
- }
-
- .cm-s-solarized.cm-s-dark .CodeMirror-line::-moz-selection, .cm-s-dark .CodeMirror-line > span::-moz-selection, .cm-s-dark .CodeMirror-line > span > span::-moz-selection {
- background: rgba(7, 54, 66, 0.99);
- }
-
- .cm-s-solarized.cm-s-light div.CodeMirror-selected {
- background: #eee8d5;
- }
-
- .cm-s-solarized.cm-s-light .CodeMirror-line::selection, .cm-s-light .CodeMirror-line > span::selection, .cm-s-light .CodeMirror-line > span > span::selection {
- background: #eee8d5;
- }
-
- .cm-s-solarized.cm-s-light .CodeMirror-line::-moz-selection, .cm-s-light .CodeMirror-line > span::-moz-selection, .cm-s-light .CodeMirror-line > span > span::-moz-selection {
- background: #eee8d5;
- }
-
- /* Editor styling */
-
-
- /* Little shadow on the view-port of the buffer view */
- .cm-s-solarized.CodeMirror {
- -moz-box-shadow: inset 7px 0 12px -6px #000;
- -webkit-box-shadow: inset 7px 0 12px -6px #000;
- box-shadow: inset 7px 0 12px -6px #000;
- }
-
- /* Remove gutter border */
- .cm-s-solarized .CodeMirror-gutters {
- border-right: 0;
- }
-
- /* Gutter colors and line number styling based of color scheme (dark / light) */
-
- /* Dark */
- .cm-s-solarized.cm-s-dark .CodeMirror-gutters {
- background-color: #073642;
- }
-
- .cm-s-solarized.cm-s-dark .CodeMirror-linenumber {
- color: #586e75;
- text-shadow: #021014 0 -1px;
- }
-
- /* Light */
- .cm-s-solarized.cm-s-light .CodeMirror-gutters {
- background-color: #eee8d5;
- }
-
- .cm-s-solarized.cm-s-light .CodeMirror-linenumber {
- color: #839496;
- }
-
- /* Common */
- .cm-s-solarized .CodeMirror-linenumber {
- padding: 0 5px;
- }
-
- .cm-s-solarized .CodeMirror-guttermarker-subtle {
- color: #586e75;
- }
-
- .cm-s-solarized.cm-s-dark .CodeMirror-guttermarker {
- color: #ddd;
- }
-
- .cm-s-solarized.cm-s-light .CodeMirror-guttermarker {
- color: #cb4b16;
- }
-
- .cm-s-solarized .CodeMirror-gutter .CodeMirror-gutter-text {
- color: #586e75;
- }
-
- /* Cursor */
- .cm-s-solarized .CodeMirror-cursor {
- border-left: 1px solid #819090;
- }
-
- /* Fat cursor */
- .cm-s-solarized.cm-s-light.cm-fat-cursor .CodeMirror-cursor {
- background: #77ee77;
- }
-
- .cm-s-solarized.cm-s-light .cm-animate-fat-cursor {
- background-color: #77ee77;
- }
-
- .cm-s-solarized.cm-s-dark.cm-fat-cursor .CodeMirror-cursor {
- background: #586e75;
- }
-
- .cm-s-solarized.cm-s-dark .cm-animate-fat-cursor {
- background-color: #586e75;
- }
-
- /* Active line */
- .cm-s-solarized.cm-s-dark .CodeMirror-activeline-background {
- background: rgba(255, 255, 255, 0.06);
- }
-
- .cm-s-solarized.cm-s-light .CodeMirror-activeline-background {
- background: rgba(0, 0, 0, 0.06);
- }
|