Commit 48f95e08 authored by Sarah Grebing's avatar Sarah Grebing

minor demo revert

parent 5c4735b3
......@@ -39,7 +39,7 @@
-fx-font-family: "Inconsolata", monospace;
//-fx-font-family: "Fira Code Medium", monospace;
-fx-font-size: 12pt;
// -fx-font-size: 20pt;
//-fx-font-size: 16pt;
-fx-fill: @base00;
.lineno {
......@@ -153,7 +153,7 @@
// -fx-background-color: @base3;
-fx-font-family: "Inconsolata", monospace;
-fx-font-size: 12pt;
//-fx-font-size: 20pt;
//-fx-font-size: 16pt;
-fx-fill: @base01;
.ABSTRACT, .ASSERT, .BOOLEAN, .BREAK, .BYTE, .CASE, .CATCH, .CHAR, .CLASS, .CONST,
......@@ -249,8 +249,8 @@
}
.sequent-view {
-fx-font-size: 14pt;
// -fx-font-size: 20pt;
//-fx-font-size: 14pt;
-fx-font-size: 16pt;
-fx-background-color: @basenavy;
-fx-fill: black;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment