Initial commit

2020-06-15 10:58:47 +08:00
commit 4f1dfe7564
8590 changed files with 1516878 additions and 0 deletions
@@ -0,0 +1,150 @@
+@import "compass/css3/inline-block";
+@import "compass/css3/box-shadow";
+@import "../old_common/vars";
+
+/** customization of codemirror styles */
+.cm-s-default .cm-color {
+  border-radius: 2px;
+  color: BLACK;
+
+  &:hover {
+    cursor: pointer;
+  }
+}
+
+.cm-s-default .cm-variable {
+  color: #666;
+}
+
+.cm-s-default .cm-keyword {
+  color: #F90;
+}
+
+.cm-s-default .cm-atom {
+  color: #F90;
+}
+
+.cm-s-default .cm-invalidchar {
+  color: #F00;
+}
+
+.CodeMirror-lines * {
+  color: #666;
+}
+
+.CodeMirror {
+  display: block;
+  position: absolute;
+  z-index: 1;
+  top: 0;
+  right: 0;
+  bottom: 80px;
+  left: 0;
+  height: auto;
+  padding: 8px 0;
+  background: none;
+  font-family: "Liberation Mono", monospace, "Courier New", "Arial";
+  line-height: 1em;
+}
+
+.CodeMirror-linenumber {
+  color: #666;
+  font-size: 11px;
+}
+
+.CodeMirror pre {
+  padding-left: 25px;
+}
+
+/** line number bar background */
+.CodeMirror-gutters {
+  border: none;
+  background: none;
+}
+
+.CodeMirror-gutter {
+  background: none;
+}
+
+.CodeMirror-gutter-elt {
+  //background-color: white;
+  padding: 0 0.2em 0.4em 0.4em;
+}
+
+/** codemirror hints */
+
+.CodeMirror-hints {
+  display: block;
+  position: absolute;
+  z-index: 1000 !important;
+  z-index: 20;
+  top: -10px;
+  width: 200px;
+  max-width: 240px;
+  height: auto;
+  max-height: 120px;
+  padding: 0;
+  overflow-y: auto;
+  border: 1px solid #999;
+  border-radius: 3px;
+  background: #FFF;
+  box-shadow: none;
+
+  .CodeMirror-hint {
+    display: block;
+    position: relative;
+    margin: 0;
+    padding: 0 10px;
+    border-top: 1px solid rgba(#CCC, 0.35);
+    color: #2483B4;
+    font-family: $text-fonts;
+    line-height: 35px;
+
+    &:first-child {
+      border-top: 0;
+      border-top-left-radius: 2px;
+      border-top-right-radius: 2px;
+    }
+
+    &:last-child {
+      border-bottom-right-radius: 2px;
+      border-bottom-left-radius: 2px;
+    }
+
+    span.value,
+    span.text {
+      display: block;
+      overflow: hidden;
+      font-size: 13px;
+      text-overflow: ellipsis;
+      white-space: nowrap;
+    }
+
+    span.value {
+      width: 85%;
+    }
+
+    span.type {
+      position: absolute;
+      z-index: 1;
+      top: 8px;
+      right: 8px;
+      width: 20px;
+      border-radius: 2px;
+      background: #CCC;
+      color: WHITE;
+      font-size: 11px;
+      font-weight: bold;
+      line-height: 19px;
+      text-align: center;
+      text-transform: uppercase;
+    }
+  }
+
+  .CodeMirror-hint-active {
+    background: #397DBA;
+    color: #FFF;
+    text-decoration: none;
+  }
+}
+