This repository has been archived by the owner on Apr 13, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathstyle.css
118 lines (101 loc) · 1.52 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
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
html, body {
margin: 0;
padding: 0;
height: 100%;
font-family: sans-serif;
}
body {
background: url('quadrille-clair.png');
font-size: 10pt;
}
#topmenu {
margin: 0;
background: #f92;
color: white;
height: 65px;
position: absolute;
top: 0;
width: 100%;
left: 0;
}
#topmenu > div {
margin: 8px;
}
#topmenu h1 {
margin: 0;
text-shadow: -1px 0 black, 0 1px black, 1px 0 black, 0 -1px black;
}
#topmenu p {
margin: 0;
}
#help > .scrollable-content {
clip: scroll;
}
#input-formula {
font-family: serif;
width: 320px;
height: 120px;
}
#monitor select {
width: 320px;
}
#monitor {
position: absolute;
top: 0;
left: 0;
width: 350px;
height: 100%;
float: left;
margin-right: 20px;
border: none;
padding: 0;
background: lightgrey;
}
#monitor > div {
margin: 10px;
margin-top: 90px;
}
#monitor ul {
list-style-type: none;
padding: 0;
}
#playground {
position: absolute;
left: 370px;
top: 90px;
font-size: small;
}
#yellowbox {
width: 90px;
height: 60px;
cursor: pointer;
background: yellow;
}
#playground #yellowbox, #playground li {
margin: 2px;
}
#playground #yellowbox:hover, #playground li:hover {
margin: 0px;
border: 2px solid #880;
}
#playground li {
background: #ffc;
}
#overwhite {
background: white transparent;
}
#verdict-box {
background: darkgrey;
color: white;
display: inline;
padding: 4px;
margin: -4px;
margin-left: 0;
border-radius: 3px;
}
#help {
display: none;
}
#main-title-div {
border: solid 1px darkgrey;
}