godel/css/styles.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

* {
  margin: 0;
}

button {
  background: #bbbbbb;
  border: 1px solid white;
  border-radius: 0.2rem;
  padding: 0.3rem;
  display: inline-block;
  cursor: pointer;
}

button:hover {
  background: #cccccc;
}

body {
  font-family: "Trebuchet MS", sans-serif;
  background-color: #aaaaaa;
}

.container {
  display: flex;
  width: 90%;
  margin-left: auto;
  margin-right: auto;
  flex-direction: column;
  gap: 1rem;

  padding: 2rem;
}

.textarea-container {
  display: flex;
  flex-direction: column;
  gap: 1rem;
  box-shadow: 5px 5px 5px #666666;
  border: 2px solid white;
  border-radius: 0.25rem;
  padding: 1rem;
  flex: 1;
}

.source-container {
  display: flex;
  flex-direction: row;
  gap: 1rem;
  height: 100%;
}

textarea {
  border-radius: 0.25rem;
}

.CodeMirror {
  height: 50vh;
}

.error {
  color: red;
}

.success {
  color: green;
}

hr {
  border-top: 2px solid black;
  border-bottom: none;
}

pre {
  white-space: pre-wrap;
  word-wrap: break-word;
}

@media only screen and (max-width: 1000px) {
  .source-container {
    flex-direction: column;
  }
}