debugger-ui.less 7.78 KB
Newer Older
Alexander Weigl's avatar
Alexander Weigl committed
1
2
@base03: rgb(0, 43, 54);
@base02: rgb(7, 54, 66);
Sarah Grebing's avatar
Sarah Grebing committed
3
4
5
@base01: #000000;

//@base01: rgb(88, 110, 117);
Alexander Weigl's avatar
Alexander Weigl committed
6
7
8
9
10
11
@base00: rgb(101, 123, 131);
@base0: rgb(131, 148, 150);
@base1: rgb(147, 161, 161);
@base2: rgb(238, 232, 213);
@base3: rgb(253, 246, 227);
@yellow: rgb(181, 137, 0);
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
12
@orange: rgb(203, 133, 91);
Alexander Weigl's avatar
Alexander Weigl committed
13
14
15
16
17
@red: rgb(220, 50, 47);
@magenta: rgb(211, 54, 130);
@violet: rgb(108, 113, 196);
@blue: rgb(38, 139, 210);
@cyan: rgb(42, 161, 152);
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
18
19
@green: rgb(38, 187, 108);
@basenavy: #f6f8ff;
Sarah Grebing's avatar
Sarah Grebing committed
20
//screenshot @basenavy: #ffffff;
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
21
22
23
@keywordColor: #200080;
@stringliteralColor: #6679aa;
@integerLiteralColor: #008c00;
Sarah Grebing's avatar
Sarah Grebing committed
24
@screenShotMarkerBase: #97ffc6;
Alexander Weigl's avatar
Alexander Weigl committed
25
26
27
28
29
30
31
32
33
34
35
36

.solarized-dark() {
  background-color: @base03;
  color: @base0;
}

.solarized-light() {
  background-color: @base3;
  color: @base00;
}

.script-area {
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
37
38
39
40
  //-fx-background-color: @base3;
  -fx-background-color: @basenavy;
  -fx-font-family: "Inconsolata", monospace;
  //-fx-font-family: "Fira Code Medium", monospace;
Sarah Grebing's avatar
Sarah Grebing committed
41
  -fx-font-size: 12pt;
Sarah Grebing's avatar
Sarah Grebing committed
42
 // -fx-font-size: 20pt;
Alexander Weigl's avatar
Alexander Weigl committed
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
  -fx-fill: @base00;

  .lineno {

  }

  .EXE_MARKER {
    -fx-fill: @violet;
    -fx-border-color: red;
    -fx-font-size: 120%;
    -fx-font-weight: bold;
  }

  .NON_EXE_AREA {
    -rtfx-background: @cyan;
    -rtfx-underline-cap: butt;
    -rtfx-underline-color: @cyan;
    -rtfx-underline-width: 1px;
  }

  // Structures
64
  .FOREACH, .CASES, .CASE, .DEFAULT, .WHILE, .STRICT, .RELAX, .IF
Alexander Weigl's avatar
Alexander Weigl committed
65
  .THEONLY, .SCRIPT, .USING, .REPEAT {
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
66
67
    // -fx-fill: @blue;
    -fx-fill: @keywordColor;
Alexander Weigl's avatar
Alexander Weigl committed
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
    -fx-font-weight: bold;
  }

  // Operators
  .MATCH, .PLUS, .MINUS,
  .MUL, .DIV, .EQ, .NEQ,
  .GEQ, .LEQ, .GE,
  .LE, .AND, .OR,
  .IMP, .EQUIV, .NOT {
    -fx-fill: @green;
  }

  //
  .INDENT, .DEDENT, .COLON, .ASSIGN, .LPAREN, .RPAREN, .LBRACKET, .RBRACKET {
    -fx-font-weight: bold;
    -fx-fill: blueviolet;
  }

  .DIGITS, .TRUE, .FALSE {
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
87
88
    -fx-fill: @integerLiteralColor;
    //-fx-fill: @orange;
Alexander Weigl's avatar
Alexander Weigl committed
89
90
91
92
93
94
95
  }

  .TERM_LITERAL {
    -fx-fill: @green;
  }

  .STRING_LITERAL {
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
96
97
    -fx-fill: @stringliteralColor;
    //-fx-fill: @violet;
Alexander Weigl's avatar
Alexander Weigl committed
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
  }

  .SINGLE_LINE_COMMENT, .MULTI_LINE_COMMENT {
    -fx-fill: @base01;
    -fx-font-weight: 100;
  }

  .IDENTIFIER {
    -fx-fill: @orange;
    -fx-font-weight: bold;
  }

  .problem {
    // -rtfx-background-color: @magenta;
    -rtfx-underline-cap: butt;
    -rtfx-underline-color: red;
    -rtfx-underline-width: 2px;
    -fx-underline: true;
  }

  .line-highlight-postmortem {
Sarah Grebing's avatar
Sarah Grebing committed
119
120
121
//    -rtfx-background-color: @cyan;
    -rtfx-background-color: @screenShotMarkerBase;

Alexander Weigl's avatar
Alexander Weigl committed
122
123
124
125
126
127
128
  }

  .line-unhighlight {
    -fx-background-color: @base3;
  }

  .line-highlight-mainScript {
Sarah Grebing's avatar
Sarah Grebing committed
129
130
//    -rtfx-background-color: @green;
    -rtfx-background-color: @screenShotMarkerBase;
Alexander Weigl's avatar
Alexander Weigl committed
131
132
133
134
135
136
137
138
139
  }

}

/**********************************************************************************************************************/

.breakpoint-menu {
  -fx-skin: "com.sun.javafx.scene.control.skin.ContextMenuSkin";
  -fx-font-family: sans-serif;
Sarah Grebing's avatar
Sarah Grebing committed
140
141
  //was 14
  -fx-font-size: 9pt;
Alexander Weigl's avatar
Alexander Weigl committed
142
143
144
}

.java-area {
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
145
146
147
  -fx-background-color: @basenavy;
  //  -fx-background-color: @base3;
  -fx-font-family: "Inconsolata", monospace;
Sarah Grebing's avatar
Sarah Grebing committed
148
  -fx-font-size: 12pt;
Sarah Grebing's avatar
Sarah Grebing committed
149
  //-fx-font-size: 20pt;
Alexander Weigl's avatar
Alexander Weigl committed
150
151
152
153
154
155
156
157
  -fx-fill: @base01;

  .ABSTRACT, .ASSERT, .BOOLEAN, .BREAK, .BYTE, .CASE, .CATCH, .CHAR, .CLASS, .CONST,
  .CONTINUE, .DEFAULT, .DO, .DOUBLE, .ELSE, .ENUM, .EXTENDS, .FINAL, .FINALLY,
  .FLOAT, .FOR, .IF, .GOTO, .IMPLEMENTS, .IMPORT, .INSTANCEOF, .INT,
  .INTERFACE, .LONG, .NATIVE, .NEW, .PACKAGE, .PRIVATE, .PROTECTED, .PUBLIC, .RETURN,
  .SHORT, .STATIC, .STRICTFP, .SUPER, .SWITCH, .SYNCHRONIZED, .THIS, .THROW, .THROWS,
  .TRANSIENT, .TRY, .VOID, .VOLATILE, .WHILE {
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
158
159
    //-fx-fill: darkgreen;
    -fx-fill: @keywordColor;
Alexander Weigl's avatar
Alexander Weigl committed
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
    -fx-font-weight: bold;
  }

  .hl-line {
    -rtfx-background-color: @base03 !important;
    -fx-fill: @base2;
    -fx-font-weight: bold;
  }

  .NullLiteral {
    -fx-font-weight: bold;
    -fx-fill: @blue;
  }

  .LPAREN, .RPAREN, .LBRACE, .RBRACE, .LBRACK, .RBRACK, .SEMI, .COMMA, .DOT {
  }

  .INTEGER_LITERAL {
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
178
179
    -fx-fill: @integerLiteralColor;
    //-fx-fill: @blue;
Alexander Weigl's avatar
Alexander Weigl committed
180
181
182
  }

  .StringLiteral, .CharacterLiteral {
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
183
184
    //-fx-fill: @green;
    -fx-fill: @stringliteralColor;
Alexander Weigl's avatar
Alexander Weigl committed
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
    -fx-font-smoothing-type: lcd;
  }

  .LINE_COMMENT, .COMMENT {
    -fx-fill: @base01;
  }

  .Identifier {
    -fx-fill: @orange;
    -fx-font-weight: bold;
  }

  .problem {
    -fx-fill: firebrick !important;
    -fx-underline: true;
  }
  .line-highlight {
Sarah Grebing's avatar
Sarah Grebing committed
202
203
204
//    -rtfx-background-color: @cyan;
    -rtfx-background-color: @screenShotMarkerBase;

Alexander Weigl's avatar
Alexander Weigl committed
205
  }
Alexander Weigl's avatar
Alexander Weigl committed
206
207
208
  .line-un-highlight {
    -rtfx-background-color: @basenavy;
  }
Alexander Weigl's avatar
Alexander Weigl committed
209
210
211
212
213
214

}

/**********************************************************************************************************************/

.problem-popup {
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
215
  -fx-background-color: @basenavy;
Alexander Weigl's avatar
Alexander Weigl committed
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
  -fx-text-fill: @base3;
  -fx-text-alignment: center;
  -fx-wrap-text: true;
  -fx-fill-width: true;
}

.problem-popup-label {
  -fx-wrap-text: true;
}

.problem-popup-label-error {
  -fx-text-fill: @red;
}

.problem-popup-label-warn, .problem-popup-label-warning {
  -fx-text-fill: @orange;
}

.problem-popup-label-info {
  -fx-text-fill: @blue;
}

.header {
  -fx-font-size: 120%;
  -fx-font-weight: bold;
  -fx-padding: 5px;
}

.sequent-view {
Sarah Grebing's avatar
Sarah Grebing committed
245
  -fx-font-size: 14pt;
Sarah Grebing's avatar
Sarah Grebing committed
246
//  -fx-font-size: 20pt;
Sarah Grebing's avatar
bug fix    
Sarah Grebing committed
247
  -fx-background-color: @basenavy;
Alexander Weigl's avatar
Alexander Weigl committed
248
249
250
  -fx-fill: black;

  .sequent-highlight {
Sarah Grebing's avatar
Bugfix    
Sarah Grebing committed
251
    -rtfx-background-color: @base1;
Alexander Weigl's avatar
Alexander Weigl committed
252
253
    -fx-fill: black;
  }
Sarah Grebing's avatar
Bugfix    
Sarah Grebing committed
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272

  .search-highlight {
    -rtfx-background-color: @base02;
    -fx-underline: true;
    -rtfx-underline: true;
    -fx-fill: darkred;
  }
}

.sequent-highlight {
  -rtfx-background-color: @base1;
  -fx-fill: black;
}

.search-highlight {
  -rtfx-background-color: @base02;
  -fx-underline: true;
  -rtfx-underline: true;
  -fx-fill: darkred;
Alexander Weigl's avatar
Alexander Weigl committed
273
274
275
}

.closed-sequent-view {
Sarah Grebing's avatar
Sarah Grebing committed
276
277
  //-fx-font-size: 18pt;
  -fx-font-size: 14pt;
Alexander Weigl's avatar
Alexander Weigl committed
278
279
280
281
282
283
284
285
286
287
288
  -fx-background-color: @green;

  .sequent-highlight {
    -rtfx-background-color: @base01;
    -fx-fill: @base1
  }
}

.section-pane {
  .title {
    -fx-font-weight: bold;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
289

Alexander Weigl's avatar
Alexander Weigl committed
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
    -fx-font-size: 14pt;
  }

  .header-box {
    -fx-padding: 5px;
  }

  .header-buttons .button {
  }

  .header-buttons .button {
  }
}

.contract-chooser {
  .head {
    -fx-font-weight: bold;
    -fx-font-size: 120%;
  }

  .contract {
    -fx-wrap-text: true;
    -fx-font-family: monospace;
  }
}

.tab-pane {
317
  -fx-skin: "edu.kit.iti.formal.psdbg.gui.controls.CustomTabPaneSkin";
Alexander Weigl's avatar
Alexander Weigl committed
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
}

/**********************************************************************************************************************/
.inspection-view-tab {
  &.LIVING {
    -fx-background-color: forestgreen;
  }

  &.DEAD {
    -fx-background-color: darkgrey;
  }

  &.POSTMORTEM {
    -fx-background-color: blueviolet;
  }
}
Alexander Weigl's avatar
Alexander Weigl committed
334

Alexander Weigl's avatar
Alexander Weigl committed
335
336
337
338
339
/**********************************************************************************************************************/

.context-menu {
  -fx-skin: "com.sun.javafx.scene.control.skin.ContextMenuSkin";
  -fx-font-family: sans-serif;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
340
  -fx-font-size: 9pt;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
341
  //-fx-font-size: 9pt;
Alexander Weigl's avatar
Alexander Weigl committed
342
}
Alexander Weigl's avatar
Alexander Weigl committed
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407

/**********************************************************************************************************************/

.graph {
  -fx-background-color: white;
}

.graph-cell {
  -fx-background-color: @base2;
  /*-fx-border-color: black;
  -fx-border-width: 1pt;
  -fx-border-radius: 10pt;*/
  -fx-text-alignment: center;
  -fx-row-valignment: center;
}

.graph-cell.vbox {
  -fx-spacing:3pt;
  -fx-alignment: center;
  -fx-fill-width: true;
}

.graph-cell.current-node  {
  -fx-background-color: firebrick;
  -fx-stroke: white;

  .label {
    -fx-text-alignment:center;
    -fx-alignment: center;
    -fx-font-size: 120%;
    -fx-text-fill: white;
  }

}


.graph-cell .label {
  -fx-text-alignment: center;
}

.edge.intro {
  -fx-stroke: #6679aa;
}

.edge.over {
  -fx-stroke: #200080;
}

.edge.otni {
  -fx-stroke: #AA9766;
}

.edge.revo {
  -fx-stroke: #DFFF80;
}

.edge.rtrn {
  -fx-stroke: orangered;
}

.edge-label {
  -fx-background-color: antiquewhite;
  -fx-stroke: navy;
}