Lines Matching full:-
1 // http://stackoverflow.com/questions/71074/how-to-remove-firefoxs-dotted-outline-on-buttons-as-wel…
5 ::-moz-focus-inner {
14 #part-header {
18 border-bottom: 2px solid #cccccc;
22 /* http://css-tricks.com/snippets/css/a-guide-to-flexbox/ */
23 #part-middle {
25 flex-direction: row;
26 flex-wrap: nowrap;
27 justify-content: space-between;
28 align-items: stretch;
29 align-content: stretch;
31 min-height: 800px;
33 border-top: 1px solid #ffffff;
35 margin-top: 2px;
37 #left-area {
39 margin-right: 20px;
40 margin-bottom: 10px;
42 #center-area {
44 margin-bottom: 10px;
46 #right-area {
48 margin-left: 20px;
49 margin-bottom: 10px;
52 #part-footer {
54 border-top: 2px solid #bbbbbb;
57 text-align: center;
58 padding-top: 12px;
59 padding-bottom: 12px;
60 line-height: 1.5;
63 #exec-status {
64 margin-top: 25px;
65 margin-bottom: 25px;
67 #exec-state {
68 display: inline-block;
69 vertical-align: middle;
71 #exec-other {
72 display: inline-block;
73 vertical-align: middle;
74 font-size: 125%;
76 #current-state {
82 border-radius: 10px;
83 font-size: 200%;
84 font-weight: bold;
85 margin-right: 10px;
87 #current-state.notrunning {
90 border-radius: 10px;
91 animation: pulsate 0.7s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
93 #exec-other:hover {
94 text-decoration: underline;
98 #left-area button {
99 display: inline-block;
101 min-width: 8em;
104 font: 16pt sans-serif;
105 font-weight: bold;
106 text-decoration: none;
110 border-radius: 4px;
112 #left-area button a {
114 text-decoration: none;
116 #left-area button:hover {
119 #left-area button:disabled {
123 #left-area button:disabled a {
128 #pause-button.pending {
130 animation: pulsate 0.2s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
133 #attach-button {
135 #attach-button.enabled {
136 animation: pulsate 0.7s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
139 .duktape-exec-line {
143 .duktape-break-line {
151 border-radius: 5px;
155 overflow-x: auto;
156 overflow-y: scroll;
157 white-space: pre;
177 font-weight: bold;
182 font-weight: bold;
187 font-weight: bold;
193 font-weight: bold;
195 #output .debugger-info {
197 font-weight: bold;
198 font-style: italic;
200 #output .debugger-debug {
202 font-weight: bold;
203 font-style: italic;
209 margin-top: 10px;
211 border-radius: 5px;
215 overflow-x: auto;
216 overflow-y: scroll;
217 white-space: pre;
219 #callstack div:nth-child(2n) {
229 text-decoration: underline;
236 margin-top: 10px;
238 border-radius: 5px;
242 overflow-x: auto;
243 overflow-y: scroll;
244 white-space: pre;
246 #locals div:nth-child(2n) {
258 margin-top: 10px;
260 border-radius: 5px;
264 overflow-x: auto;
265 overflow-y: scroll;
266 white-space: pre;
271 #breakpoints div:nth-child(2n) {
279 text-decoration: underline;
282 .breakpoint-line {
284 padding-top: 2px;
285 padding-bottom: 2px;
287 #add-breakpoint-file {
292 #add-breakpoint-line {
295 margin-left: 3px;
298 #delete-all-breakpoints-button {
300 font: 10pt sans-serif;
306 #delete-all-breakpoints-button:hover {
309 #delete-all-breakpoints-button:disabled {
313 #add-breakpoint-button {
314 font: 10pt sans-serif;
315 margin-left: 10px;
321 #add-breakpoint-button:hover {
324 #add-breakpoint-button:disabled {
328 #breakpoint-hint {
330 font-style: italic;
331 margin-left: 10px;
333 .delete-breakpoint-button {
336 font: 9pt sans-serif;
342 .delete-breakpoint-button {
343 font: 9pt sans-serif;
345 .delete-breakpoint-button:hover {
346 text-decoration: underline;
349 .delete-breakpoint-button:disabled {
353 #about-dialog p {
357 #bytecode-dialog p {
360 #bytecode-dialog pre {
364 #bytecode-dialog div.highlight {
371 margin-top: 10px;
373 border-radius: 5px;
377 overflow-x: auto;
378 overflow-y: scroll;
379 white-space: pre;
381 #eval-input {
387 #eval-button {
389 margin-left: 10px;
392 font: 10pt sans-serif;
396 #eval-button {
398 #eval-button:hover {
401 #eval-button:disabled {
405 #eval-button.pending {
407 animation: pulsate 0.2s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
409 #eval-watch {
410 margin-left: 20px;
411 vertical-align: middle;
413 #eval-output {
415 white-space: pre;
418 min-height: 4ex;
419 margin-top: 5px;
422 #varname-input {
427 #varvalue-input {
428 margin-left: 10px;
433 #getvar-button,
434 #putvar-button {
437 margin-left: 10px;
440 font: 10pt sans-serif;
444 #getvar-button:hover,
445 #putvar-button:hover {
448 #getvar-button:disabled,
449 #putvar-button:disabled {
453 #var-output {
455 white-space: pre;
458 min-height: 4ex;
459 margin-top: 5px;
462 #source-pre {
463 margin-top: 10px;
465 border-radius: 5px;
468 overflow-x: auto;
469 overflow-y: scroll;
471 #source-pre.running {
475 #source-pre.running #source-code {
479 #source-filename {
480 font-size: 125%;
484 counter-reset: source-line;
489 white-space: pre;
490 border-bottom: 1px solid #eeeeee;
493 display: inline-block;
494 content: counter(source-line);
495 counter-increment: source-line;
498 text-align: right;
499 margin-right: 20px;
502 margin-right: 0px;
503 border-right: 20px solid #ff0000;
514 #source-select {
515 margin-top: 5px;