-
Notifications
You must be signed in to change notification settings - Fork 18
/
style.css
104 lines (101 loc) · 1.53 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
html, body {
height: 100%;
width: 100%;
padding: 0;
margin: 0;
}
body {
background-color: #fff;
font-family: sans-serif;
margin: 0 0px;
padding: 0 5px 0 5px;
overflow: hidden
}
h1 {
font-weight: normal;
font-size: 140%;
padding-top: 10px;
margin: 0;
}
h3 {
margin-top: 0px;
margin-bottom: 0;
}
table {
height: 100%;
width: 100%;
padding: 0;
marging: 0;
}
tr {
padding: 0;
margin: 0;
}
td {
vertical-align: top;
padding: 0;
margin: 0;
}
.bottom_align {
vertical-align: bottom;
padding-bottom: 5px;
}
#blocklyFactory,
#blocklyGenerator{
position: fixed;
}
#blocklyFactoryMask,
#blocklyGeneratorMask {
background-color: #000;
cursor: not-allowed;
display: none;
position: fixed;
opacity: 0.2;
z-index: 9;
}
/* Temporarily set Generator mask on during development */
#blocklyGeneratorMask {
display: block;
}
#preview {
position: absolute;
}
pre,
#languageTA {
border: #ddd 1px solid;
margin-top: 0;
position: absolute;
overflow: scroll;
}
#languageTA {
display: none;
font-family: monospace;
font-size: 10pt;
}
button {
border-radius: 4px;
border: 1px solid #ddd;
background-color: #eee;
color: #000;
padding: 5px;
margin: 0;
margin-right: 10px;
font-size: 1.05rem;
}
button:hover:not(:disabled) {
box-shadow: 2px 2px 5px #888;
}
button:disabled {
opacity: 0.6;
}
button>* {
opacity: 0.6;
vertical-align: text-bottom;
}
button:hover:not(:disabled)>* {
opacity: 1;
}
/* Overwrites the Blockly CSS */
.blocklyToolboxDiv {
width: 135px !important;
}