js-editor/style.css at master · Noisytoot/js-editor · GitHub

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
.padding {
  padding: 10px;
}
@font-face {
  font-family: 'Roboto Mono', monospace;
  src: url('RobotoMono.woff2') format('woff2'), url('RobotoMono.woff') format('woff');
}
@font-face {
  font-family: 'Material Icons';
  font-style: normal;
  font-weight: 400;
  src: url('material-icons.woff2') format('woff2'), url('material-icons.woff') format('woff');
}
.material-icons {
  font-family: 'Material Icons';
  font-weight: normal;
  font-style: normal;
  font-size: 24px;
  line-height: 1;
  letter-spacing: normal;
  text-transform: none;
  display: inline-block;
  white-space: nowrap;
  word-wrap: normal;
  direction: ltr;
  -webkit-font-feature-settings: 'liga';
  -webkit-font-smoothing: antialiased;
}
.CodeMirror,
#evalBox {
  font-family: 'Roboto Mono', monospace;
  height: auto;
  -webkit-border-radius: 15px;
  -moz-border-radius: 15px;
  border-radius: 15px;
}
#runButtonWrapper,
#title {
  font-family: 'Roboto Mono', monospace;
  text-align: center;
}
#runButtonWrapper,
.CodeMirror,
#evalBox {
  padding: 10px;
}