github.com/treeverse/lakefs@v1.24.1-0.20240520134607-95648127bfb0/webui/src/styles/ghsyntax.css (about) 1 /* 2 Mostly based on the "githubGist" theme provided by react-syntax-highlighter. 3 Ideally, we'd use it directly, but the logic to extract it from the javascript object 4 is not exposed in the API. 5 */ 6 7 .syntax-editor { 8 color: #393A34; 9 background-color: #fafafa; 10 font-family: var(--bs-font-monospace); 11 font-size: .9em; 12 direction: ltr; 13 text-align: left; 14 white-space: pre; 15 word-spacing: normal; 16 word-break: normal; 17 -moz-tab-size: 4; 18 -o-tab-size: 4; 19 tab-size: 4; 20 -webkit-hyphens: none; 21 -moz-hyphens: none; 22 -ms-hyphens: none; 23 hyphens: none; 24 padding: 1em; 25 margin: .5em 0; 26 overflow: auto; 27 padding: 0.5em; 28 overflow-x: auto; 29 border: 1px solid #ddd; 30 } 31 32 .syntax-editor::-moz-selection, 33 .syntax-editor::selection { 34 background: #b3d4fc; 35 } 36 .syntax-editor .token.comment { 37 color: #999988; 38 font-style: italic; 39 } 40 41 .syntax-editor .token.prolog { 42 color: #999988; 43 font-style: italic; 44 } 45 46 .syntax-editor .token.doctype { 47 color: #999988; 48 font-style: italic; 49 } 50 .syntax-editor .token.cdata { 51 color: #999988; 52 font-style: italic; 53 } 54 .syntax-editor .token.namespace { 55 opacity: .7; 56 } 57 .syntax-editor .token.string { 58 color: #e3116c; 59 } 60 .syntax-editor .token.attr-value { 61 color: #6f42c1; 62 } 63 .syntax-editor .token.punctuation { 64 color: #df5000; 65 } 66 .syntax-editor .token.operator { 67 color: #005cc5; 68 } 69 .syntax-editor .token.entity { 70 color: #36acaa; 71 } 72 .syntax-editor .token.url { 73 color: #36acaa; 74 } 75 .syntax-editor .token.symbol { 76 color: #0086b3; 77 } 78 .syntax-editor .token.number { 79 color: #005cc5; 80 } 81 .syntax-editor .token.boolean { 82 color: #005cc5; 83 } 84 .syntax-editor .token.variable { 85 color: #005cc5; 86 } 87 .syntax-editor .token.constant { 88 color: #005cc5; 89 } 90 .syntax-editor .token.property { 91 color: #005cc5; 92 } 93 .syntax-editor .token.regex { 94 color: #005cc5; 95 } 96 .syntax-editor .token.inserted { 97 color: #005cc5; 98 } 99 .syntax-editor .token.atrule { 100 color: #00a4db; 101 } 102 .syntax-editor .token.keyword { 103 color: #d73a49; 104 } 105 .syntax-editor .token.attr-name { 106 color: #d73a49; 107 } 108 .language-autohotkey .token.selector { 109 color: #d73a49; 110 } 111 .syntax-editor .token.function { 112 color: #9a050f; 113 font-weight: bold; 114 } 115 .syntax-editor .token.deleted { 116 color: #9a050f; 117 } 118 .language-autohotkey .token.tag { 119 color: #9a050f; 120 } 121 .syntax-editor .token.tag { 122 color: #d73a49; 123 } 124 .syntax-editor .token.selector { 125 color: #d73a49; 126 } 127 .language-autohotkey .token.keyword { 128 color: #d73a49; 129 } 130 .syntax-editor .token.important { 131 font-weight: bold; 132 } 133 .syntax-editor .token.bold { 134 font-weight: bold; 135 } 136 .syntax-editor .token.italic { 137 font-style: italic; 138 }