This repository has been archived by the owner on Feb 17, 2019. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 7
/
main.css
123 lines (123 loc) · 2.34 KB
/
main.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
119
120
121
122
123
body {
margin: 0;
overflow: hidden;
font-size: 20px;
line-height: 36px;
background: #96a8c8;
}
.xkcd-box {
background: white;
border-style: solid;
border-width: 1.5px;
border-color: #071419;
border-radius: 12px;
box-sizing: border-box;
}
.xkcd-box-title {
font-family: Lucida, Helvetica, sans-serif;
font-size: 24px;
margin: .5rem 1rem;
font-variant: small-caps;
}
.xkcd-box-titlemain {
font-family: Lucida, Helvetica, sans-serif;
font-size: 24px;
margin: .5rem 1rem;
font-variant: small-caps;
font-size: 36px;
margin-top: 1.5rem;
margin-bottom: 0;
}
#masthead {
margin: 1.5rem 1.2rem;
overflow: auto;
}
#masthead img {
float: left;
margin: 1em;
}
#masthead h3 {
font-style: italic;
}
#masthead a,
#masthead a:visited {
color: #96A8C8;
text-decoration: none;
}
#masthead a:hover,
#masthead a:visited:hover {
text-decoration: underline;
}
#editor-wrapper {
margin: 0;
position: absolute;
left: 1.2rem;
bottom: 1.5rem;
right: 1.2rem;
top: 9.8rem;
}
#editor {
margin: 0;
position: absolute;
left: 1.2rem;
bottom: 1.5rem;
right: 1.2rem;
top: 3.5rem;
font-size: 20px;
line-height: 36px;
color: #000;
-webkit-transition: bottom .4s ease-in;
}
.ace_gutter {
display: none;
}
.ace_disallowed,
.ace_disallowed + .ace_suffix {
color: #c00;
}
.ace-tm .ace_print-margin {
background: transparent !important;
}
#erroneous-wrapper {
position: fixed;
bottom: 1.5rem;
left: 1.2rem;
right: 1.2rem;
background: #96a8c8;
display: none;
z-index: 1000;
}
#erroneous-wrapper.invalid {
display: block;
}
#erroneous-mask {
background: white;
border-style: solid;
border-width: 1.5px;
border-color: #071419;
border-radius: 12px;
width: 100%;
box-sizing: border-box;
height: 13px;
margin-bottom: .5rem;
border-top-width: 0;
border-radius: 0 0 12px 12px;
}
#erroneous {
margin: 0 1rem 1.5rem;
max-height: 10rem;
overflow: scroll;
overflow-x: hidden;
font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
}
#erroneous a {
color: #c00;
display: inline-block;
padding: .2rem .4rem;
border-left-width: 0;
cursor: pointer;
}
#erroneous a:hover {
color: #fff;
background: #c00;
}