• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1.visible-transition {
2    transition-delay: 0s;
3    transition-duration: 1s;
4    transition-property: all;
5    transition-timing-function: ease;
6}
7
8.collapse-pane {
9    background: #A0A0A0;
10    bottom: 0;
11    position: absolute;
12    margin-bottom: 0.5em;
13    margin-right: 0.5em;
14    margin-left: 0.5em;
15    border-radius: 5px;
16    padding: 0.5em;
17    z-index: 5;
18    opacity: 0.7;
19    cursor: pointer;
20}
21
22.search-input {
23    vertical-align: middle;
24    width: 145px;
25    opacity: 1;
26}
27
28.button-input {
29    vertical-align: middle;
30    width: 24px;
31    opacity: 0.4;
32    cursor: pointer;
33}
34
35.button-input-toggled {
36    border-radius: 5px;
37    background-color: #505050;
38}
39
40.button-input:focus {
41    outline: none;
42}
43
44.button-input-invisible {
45    vertical-align: middle;
46    width: 0px;
47    visibility: hidden;
48}
49
50
51.selected {
52    background-color: #FFFF33;
53}
54
55.prettyprint ol.linenums > li {
56    list-style-type: decimal;
57    !important
58}
59
60body {
61    margin: 0;
62    padding: 0;
63    overflow:hidden;
64    -webkit-touch-callout: none;
65    -webkit-user-select: none;
66    -khtml-user-select: none;
67    -moz-user-select: none;
68    -ms-user-select: none;
69    user-select: none;
70}
71
72p {
73    text-align: center;
74    overflow: overlay;
75    position: relative;
76}
77
78marker {
79    fill: #080808;
80}
81
82g rect {
83    fill: #F0F0F0;
84    stroke: #080808;
85    stroke-width: 2px;
86}
87
88g.dead {
89    opacity: .5;
90}
91
92g.unsorted rect {
93    opacity: 0.5;
94}
95
96div.scrollable {
97    overflow-y: _croll; overflow-x: hidden;
98}
99
100g.control rect {
101    fill: #EFCC00;
102    stroke: #080808;
103    stroke-width: 5px;
104}
105
106g.javascript rect {
107    fill: #DD7E6B;
108}
109
110g.simplified rect {
111    fill: #3C78D8;
112}
113
114g.machine rect {
115    fill: #6AA84F;
116}
117
118g.input rect {
119    fill: #CFE2F3;
120}
121
122g.selected rect {
123    fill: #FFFF33;
124}
125
126circle.bubbleStyle {
127    fill: #080808;
128    fill-opacity: 0.0;
129    stroke: #080808;
130    stroke-width: 2px;
131}
132
133circle.bubbleStyle:hover {
134    stroke-width: 3px;
135}
136
137circle.filledBubbleStyle {
138    fill: #080808;
139    stroke: #080808;
140    stroke-width: 2px;
141}
142
143circle.filledBubbleStyle:hover {
144    fill: #080808;
145    stroke-width: 3px;
146}
147
148circle.halfFilledBubbleStyle {
149    fill: #808080;
150    stroke: #101010;
151    stroke-width: 2px;
152}
153
154circle.halfFilledBubbleStyle:hover {
155    fill: #808080;
156    stroke-width: 3px;
157}
158
159path.effect {
160    fill: none;
161    stroke: #080808;
162    stroke-width: 4px;
163    cursor: default;
164}
165
166path.effect:hover {
167    stroke-width: 6px;
168}
169
170path.control {
171    fill: none;
172    stroke: #080808;
173    stroke-width: 4px;
174    cursor: default;
175}
176
177path.control:hover {
178    stroke-width: 6px;
179}
180
181path.value {
182    fill: none;
183    stroke: #888888;
184    stroke-width: 4px;
185    cursor: default;
186}
187
188path.value:hover {
189    stroke-width: 6px;
190}
191
192path.frame-state {
193    fill: none;
194    stroke: #080808;
195    stroke-width: 4px;
196    cursor: default;
197}
198
199path.frame-state:hover{
200    stroke-width: 6px;
201}
202
203path.hidden {
204    fill: none;
205    stroke-width: 0;
206}
207
208path.link.selected {
209    stroke: #FFFF33;
210}
211
212pre.prettyprint {
213  border: none !important;
214  padding: 0px;
215}
216
217li.L1,
218li.L3,
219li.L5,
220li.L7,
221li.L9 {
222    background: none !important
223}
224
225li.nolinenums {
226  list-style-type:none;
227}
228
229ul.noindent {
230  -webkit-padding-start: 0px;
231  -webkit-margin-before: 0px;
232  -webkit-margin-after: 0px;
233}
234
235input:hover, .collapse-pane:hover input {
236    opacity: 1;
237    cursor: pointer;
238}
239
240span.linkable-text {
241    text-decoration: underline;
242}
243
244span.linkable-text:hover {
245    cursor: pointer;
246    font-weight: bold;
247}
248
249#left {
250    float: left; height: 100%; background-color: #FFFFFF;
251    -webkit-transition: all 1s ease-in-out;
252    -moz-transition: all 1s ease-in-out;
253    -o-transition: all 1s ease-in-out;
254    transition: all .3s ease-in-out;
255    transition-property: width;
256}
257
258#middle {
259    float:left; height: 100%; background-color: #F8F8F8;
260    -webkit-transition: all 1s ease-in-out;
261    -moz-transition: all 1s ease-in-out;
262    -o-transition: all 1s ease-in-out;
263    transition: all .3s ease-in-out;
264    transition-property: width;
265}
266
267#right {
268    float: right; background-color: #FFFFFF;
269    -webkit-transition: all 1s ease-in-out;
270    -moz-transition: all 1s ease-in-out;
271    -o-transition: all 1s ease-in-out;
272    transition: all .3s ease-in-out;
273    transition-property: width;
274}
275
276#disassembly-collapse {
277    right: 0;
278}
279
280#source-collapse {
281    left: 0;
282}
283
284#graph-toolbox-anchor {
285    height: 0px;
286}
287
288#graph-toolbox {
289    position: relative;
290    top: 1em;
291    left: 0.7em;
292    border: 2px solid #eee8d5;
293    border-radius: 5px;
294    padding: 0.7em;
295    z-index: 5;
296    background: rgba(100%, 100%, 100%, 0.7);
297}
298
299#disassembly-toolbox {
300    position: relative;
301    top: 1em;
302    left: 0.7em;
303    border: 2px solid #eee8d5;
304    border-radius: 5px;
305    padding: 0.7em;
306    z-index: 5;
307}
308
309#load-file {
310    position: absolute;
311    top: 0;
312    right: 0;
313    margin-top: 0.5em;
314    margin-right: 0.5em;
315    z-index: 5;
316    opacity: 0.7;
317}
318
319#load-file input {
320    background: #A0A0A0;
321    border-radius: 5px;
322    padding: 0.5em;
323}
324
325#hidden-file-upload {
326    display: none;
327}
328
329.prof {
330    cursor: default;
331}
332
333tspan {
334    font-size: 500%;
335    font-family: sans-serif;
336}
337
338text {
339    dominant-baseline: text-before-edge;
340}