diff options
author | 2021-07-01 12:31:07 +0200 | |
---|---|---|
committer | 2021-07-01 12:31:07 +0200 | |
commit | 8595c9a22830b1baacc49bb694d70389b2539eba (patch) | |
tree | cb496cd34661a0d3ec4c9b5a333e948f24e437f4 /language-web/src/main/css | |
parent | Convert to React app (diff) | |
download | refinery-8595c9a22830b1baacc49bb694d70389b2539eba.tar.gz refinery-8595c9a22830b1baacc49bb694d70389b2539eba.tar.zst refinery-8595c9a22830b1baacc49bb694d70389b2539eba.zip |
Add material-ui and mobx integration
Diffstat (limited to 'language-web/src/main/css')
-rw-r--r-- | language-web/src/main/css/index.scss | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss index e788bbd1..62109a2f 100644 --- a/language-web/src/main/css/index.scss +++ b/language-web/src/main/css/index.scss | |||
@@ -3,70 +3,6 @@ | |||
3 | 3 | ||
4 | @import 'xtext/xtext-codemirror'; | 4 | @import 'xtext/xtext-codemirror'; |
5 | 5 | ||
6 | body { | ||
7 | width: 100%; | ||
8 | height: 100%; | ||
9 | overflow: hidden; | ||
10 | font: 16px Helvetica,sans-serif; | ||
11 | } | ||
12 | |||
13 | a { | ||
14 | color: #22a; | ||
15 | text-decoration: none; | ||
16 | } | ||
17 | |||
18 | a:hover { | ||
19 | text-decoration: underline; | ||
20 | } | ||
21 | |||
22 | .container { | ||
23 | display: block; | ||
24 | position: absolute; | ||
25 | top: 0; | ||
26 | bottom: 0; | ||
27 | left: 0; | ||
28 | right: 0; | ||
29 | margin: 24px 24px 36px 24px; | ||
30 | } | ||
31 | |||
32 | .header { | ||
33 | display: block; | ||
34 | position: absolute; | ||
35 | top: 0; | ||
36 | left: 0; | ||
37 | right: 0; | ||
38 | padding: 16px; | ||
39 | background: #dbdbdb; | ||
40 | border-radius: 16px; | ||
41 | color: #383838; | ||
42 | } | ||
43 | |||
44 | .header h1 { | ||
45 | font-size: 36px; | ||
46 | margin: 0; | ||
47 | } | ||
48 | |||
49 | .content { | ||
50 | display: block; | ||
51 | position: absolute; | ||
52 | top: 108px; | ||
53 | bottom: 0; | ||
54 | left: 0; | ||
55 | width: 100%; | ||
56 | box-shadow: 0 0 8px rgba(80, 10, 98, .25), 0 10px 24px rgba(80, 10, 98, .35); | ||
57 | border-radius: 16px; | ||
58 | } | ||
59 | |||
60 | .xtext-editor { | ||
61 | display: block; | ||
62 | position: absolute; | ||
63 | top: 16px; | ||
64 | bottom: 16px; | ||
65 | left: 16px; | ||
66 | right: 16px; | ||
67 | border: 1px solid #999; | ||
68 | } | ||
69 | |||
70 | .problem-class { | 6 | .problem-class { |
71 | color: #005032; | 7 | color: #005032; |
72 | } | 8 | } |