-
Notifications
You must be signed in to change notification settings - Fork 1
/
ide.css
118 lines (96 loc) · 1.82 KB
/
ide.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
:root {
--main-border-colour: #ddd;
--primary-background-colour: #f8f8f8;
--secondary-background-colour: #ececec;
--primary-brand-colour: #333333;
}
html, body {
height: 100%;
}
body {
background-color: var(--primary-background-colour);
font-family: 'Exo 2', sans-serif;
}
.navbar-default {
background-color: var(--primary-brand-colour);
border-bottom: 1px solid var(--main-border-colour);
}
.navbar-default .navbar-brand {
color: #ddd;
padding: 12px 15px 12px 15px;
font-size: 24px;
line-height: 26px;
font-weight: bold;
}
.navbar-default .navbar-brand:hover {
color: #fff;
}
.CodeMirror {
background-color: var(--primary-background-colour);
min-height: 100%;
}
.CodeMirror-gutters {
background-color: var(--secondary-background-colour);
}
.navbar {
margin-bottom: 0px;
}
#sourceEditor {
border-bottom: 1px solid var(--main-border-colour);
min-height: 400px;
height: 60%;
}
#selectLanguageBtn {
max-width: 330px;
}
#inputLabel {
border-right: 1px solid var(--main-border-colour);
}
#inputEditor, #outputEditor {
min-height: 300px;
height: 40%;
}
#inputEditor {
border-right: 1px solid var(--main-border-colour);
padding-left: 0px;
}
#runBtn {
width: 100px;
}
#saveBtn {
width: 130px;
}
#statusLine {
margin-right: 10px;
}
#footer {
background-color: var(--primary-brand-colour);
border-top: 1px solid var(--main-border-colour);
padding-top: 40px;
text-align: center;
min-height: 100px;
color: #777;
}
#footer a {
text-decoration: none;
font-weight: bold;
color: #ddd;
}
#footer a:hover {
color: #fff;
}
.vertical-spacer {
display: inline-block;
background-color: var(--main-border-colour);
margin: 0px 10px -14px 10px;
width: 1px;
height: 34px;
}
#apiLink {
color: #ddd;
text-decoration: none;
font-size: 85%;
}
#apiLink:hover {
color: #fff;
}