-
Notifications
You must be signed in to change notification settings - Fork 0
/
style.css
59 lines (50 loc) · 1.01 KB
/
style.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
.fpcm-nav {
background: #333334;
font-family: "Lato", "Lucida Grande", "Lucida Sans Unicode", Tahoma, Sans-Serif;
font-size: 13px;
line-height: 1.4;
clear: both;
}
.fpcm-nav a {
display: inline-block;
text-decoration: none !important;
color: #e4e3e5 !important;
padding: 8px 16px 8px;
}
.fpcm-nav a.active {
background: #1d1d1d;
color: #f8f8f2 !important;
}
.fpcm-nav .fpcm-nav-right {
float: right;
}
.fpcm-output {
height: 256px;
}
.fpcm-code-box {
height: 100%;
}
.fpcm-code-box:not(.active) {
display: none;
}
.fpcm-code-box .CodeMirror {
height: 100%;
font-family: 'Source Code Pro', Menlo, Consolas, Monaco, monospace;
font-size: 14px;
}
.fpcm-code-box .CodeMirror pre {
margin-bottom: 0; /* override FP style */
}
.fpcm-resize-grabber {
background-color: #e3e3e3;
text-align: center;
width: 100%;
height: 9px;
border: 1px solid lightgray;
margin-left: -1px;
user-select: none;
cursor: n-resize;
display: flex;
justify-content: center;
align-items: center;
}