CodeEditor.css 2.92 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14
.code-editor-heading {
  display: flex;
}
.code-editor-heading .renameable {
  flex-grow: 2;
}
.code-editor-heading .renameable .text {
  padding-right: 10px;
}
.code-editor-heading .buttons-right {
  display: flex;
  justify-content: flex-end;
}

15 16 17 18 19 20 21 22 23
.code-editor .toolbar {
  display: flex;
  justify-content: flex-start;
  width: 100%;
}
.code-editor .editor {
  display: flex;
  width: 100%;
}
24
.code-editor .editor .code-area {
25
  flex-grow: 1;
26
  max-height: 200px;
27
  min-width: 25%;
28 29 30 31 32
  overflow: auto;
}
.code-editor .editor .code-area .code-container {
  background-color: #fafafa;
  box-sizing: border-box;
33 34 35 36 37
  position: relative;
  font-family: Fira code, Fira Mono, Consolas, Menlo, Courier, monospace;
  font-size: 12px;
  font-variant-ligatures: common-ligatures;
  line-height: 1.5;
38 39 40
  overflow: hidden;
  padding: 0px;
  text-align: left;
41
}
42
.code-editor .editor .code-area .code-container textarea {
43
  border: 0px;
44
  color: inherit;
45 46 47 48 49 50
  position: absolute;
  left: 0px;
  top: 0px;
  resize: none;
  height: 100%;
  overflow: hidden;
51
  width: 100%;
52
  -webkit-text-fill-color: transparent;
53 54 55 56 57 58 59
  box-sizing: inherit;
  display: inherit;
  margin: 0px;
  padding: 10px;
  overflow-wrap: break-word;
  white-space: pre-wrap;
  word-break: keep-all;
60 61 62 63 64 65 66 67 68 69
  font-family: inherit;
  font-size: inherit;
  font-style: inherit;
  font-variant-ligatures: inherit;
  font-weight: inherit;
  letter-spacing: inherit;
  line-height: inherit;
  text-indent: inherit;
  text-rendering: inherit;
  text-transform: inherit;
70
}
71
.code-editor .editor .code-area .code-container pre {
72 73
  background: rgba(0, 0, 0, 0) none repeat scroll 0% 0%;
  border: 0px none;
74
  color: #000;
75 76
  pointer-events: none;
  position: relative;
77 78 79 80 81 82 83
  box-sizing: inherit;
  display: inherit;
  margin: 0px;
  padding: 10px;
  overflow-wrap: break-word;
  white-space: pre-wrap;
  word-break: keep-all;
84 85 86 87 88 89 90 91 92 93
  font-family: inherit;
  font-size: inherit;
  font-style: inherit;
  font-variant-ligatures: inherit;
  font-weight: inherit;
  letter-spacing: inherit;
  line-height: inherit;
  text-indent: inherit;
  text-rendering: inherit;
  text-transform: inherit;
94
}
95 96 97 98 99 100 101 102
.code-editor .editor .v-divider {
  border-left: 1px solid gray;
  cursor: sw-resize;
  height: 100%;
  margin-left: 5px;
  margin-right: 5px;
  width: 1px;
}
103 104 105 106 107
.code-editor .editor .html {
  flex-grow: 2;
  margin-left: 25px;
  padding-left: 25px;
}
108 109 110 111
.code-editor .editor .html.language-haskell {
  font-family: Fira code, Fira Mono, Consolas, Menlo, Courier, monospace;
  white-space: pre;
}
112 113 114 115
.code-editor .editor .html.language-python {
  font-family: Fira code, Fira Mono, Consolas, Menlo, Courier, monospace;
  white-space: pre;
}
116 117 118 119
.code-editor .editor .html.language-json {
  font-family: Fira code, Fira Mono, Consolas, Menlo, Courier, monospace;
  white-space: pre;
}
120
.code-editor .editor .html.language-md ul li {
121 122
  list-style: disc !important;
}
123
.code-editor .editor .html.language-md ol li {
124 125 126 127
  list-style: decimal !important;
}

/*# sourceMappingURL=CodeEditor.css.map */