styles/editor-instance.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133

html,
body {
  height: 100%;
  margin: 0
}

::-webkit-scrollbar {
  width: 10px;
  height: 10px;
}

::-webkit-scrollbar-track {
  background: #474A5E; 
}
 
::-webkit-scrollbar-thumb {
  background: #63677C; 
}

::-webkit-scrollbar-thumb:hover {
  background: #555; 
}
::-webkit-scrollbar-corner { 
  background: #63677C
}

.flex-wrapper {
  display: flex;
  flex-flow: column;
  height: 100%;
}

.flex-wrapper .row.header {
  flex: 0 1 auto;
  background-color: #474A5E;
  color: white;
}

.flex-wrapper .row.content {
  flex: 1 1 auto;
  display: flex;
  flex-direction: column;
  height: 100%;
}

.flex-wrapper .row.footer {
  flex: 0 1 auto;
  background-color: #474A5E;
  color: white;
  display: flex;
  flex-direction: row;
  font-family: monospace;
  align-items: center;
  height: 20px;
}

.flex-wrapper .row .split-row {
  overflow: auto;
}

.gutter {
    background-color: #474A5E;
    background-repeat: no-repeat;
    background-position: 50%;
}

.gutter.gutter-vertical {
    background-image:  url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAB4AAAAFAQMAAABo7865AAAABlBMVEVHcEzMzMzyAv2sAAAAAXRSTlMAQObYZgAAABBJREFUeF5jOAMEEAIEEFwAn3kMwcB6I2AAAAAASUVORK5CYII=');
    cursor: ns-resize;
}

.gutter.gutter-horizontal {
    background-image:  url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAUAAAAeCAYAAADkftS9AAAAIklEQVQoU2M4c+bMfxAGAgYYmwGrIIiDjrELjpo5aiZeMwF+yNnOs5KSvgAAAABJRU5ErkJggg==');
    cursor: ew-resize;
}

.CodeMirror {
  height: 100%;
}

.results-row {
  color: #ffffff;
  background-color: #282a36;
  font-family: monospace;
}

#result-error {
  padding: 5px;
}

#execution-status {
  padding: 2px;
  flex-basis: 60px;
  text-align: center;
  font-weight: bold;
}

#execution-time {
  /* background-color: green; */
  flex-basis: auto;
  padding: 2px 10px;
}

#cursor-coords {
  margin-left: auto;
  padding-right: 10px;
}

.exec-idle {
  background-color: gray;
}

.exec-running {
  background-color: yellow;
  color: black;
}

.exec-ok {
  background-color: green;
}

.exec-error {
  background-color: red;
  color: black;
}

.selected-statement {
  background-color: #4F4837;
}

.statement-pointer {
  width: 10px;
}