Lines Matching +full:pointer +full:- +full:overflow
1 .visible-transition {
2 transition-delay: 0s;
3 transition-duration: 1s;
4 transition-property: all;
5 transition-timing-function: ease;
8 .collapse-pane {
12 margin-bottom: 0.5em;
13 margin-right: 0.5em;
14 margin-left: 0.5em;
15 border-radius: 5px;
17 z-index: 5;
19 cursor: pointer;
22 .search-input {
23 vertical-align: middle;
28 .button-input {
29 vertical-align: middle;
32 cursor: pointer;
35 .button-input-toggled {
36 border-radius: 5px;
37 background-color: #505050;
40 .button-input:focus {
49 background-color: #FFFF33;
53 .selected.block-id,
54 .selected.schedule-block {
55 background-color: #AAFFAA;
59 -webkit-padding-start: 8px;
62 .line-number {
63 display:inline-block;
64 min-width: 3ex;
65 text-align: right;
67 margin-right: 0.5ex;
68 padding-right: 0.5ex;
70 /* font-size: 80%; */
71 user-select: none;
75 .line-number:hover {
76 background-color: #CCCCCC;
80 background-color: #FFFF33 !important;
83 li.selected .line-number {
84 background-color: #FFFF33;
88 list-style-type: decimal;
92 .source-container {
93 border-bottom: 2px solid #AAAAAA;
96 .code-header {
97 background-color: #CCCCCC;
98 padding-left: 1em;
99 padding-right: 1em;
100 padding-top: 1ex;
101 padding-bottom: 1ex;
102 font-family: monospace;
103 user-select: none;
106 .main-source .code-header {
107 border-top: 2px solid #AAAAAA;
108 font-weight: bold;
111 .code-header .code-file-function {
112 font-family: monospace;
114 user-select: text;
117 .code-header .code-mode {
119 font-family: sans-serif;
120 font-size: small;
128 overflow: hidden;
132 text-align: center;
133 overflow: overlay;
144 stroke-width: 2px;
156 overflow-y: auto; overflow-x: hidden;
161 stroke-width: 16px;
166 stroke-width: 16px;
171 stroke-width: 16px;
176 stroke-width: 16px;
182 stroke-width: 7px;
188 stroke-width: 5px;
213 fill-opacity: 0.0;
215 stroke-width: 2px;
219 stroke-width: 3px;
225 stroke-width: 2px;
230 stroke-width: 3px;
236 stroke-width: 2px;
241 stroke-width: 3px;
247 stroke-width: 4px;
252 stroke-width: 6px;
257 stroke-width: 0;
278 list-style-type:none;
282 -webkit-padding-start: 0px;
283 -webkit-margin-before: 0px;
284 -webkit-margin-after: 0px;
287 input:hover, .collapse-pane:hover input {
289 cursor: pointer;
292 span.linkable-text {
293 text-decoration: underline;
296 span.linkable-text:hover {
297 cursor: pointer;
298 font-weight: bold;
304 user-select: none;
309 background-color: #F8F8F8;
310 user-select: none;
319 background-color: #FFFFFF;
323 #disassembly-collapse {
327 #source-collapse {
336 #graph-toolbox-anchor {
340 #graph-toolbox {
345 border-radius: 5px;
347 z-index: 5;
351 #disassembly-toolbox {
356 border-radius: 5px;
358 z-index: 5;
361 #load-file {
365 margin-top: 0.5em;
366 margin-right: 0.5em;
367 z-index: 5;
371 #load-file input {
373 border-radius: 5px;
377 #upload-helper {
386 font-size: 500%;
387 font-family: sans-serif;
391 dominant-baseline: text-before-edge;
394 .resizer-left {
399 cursor: pointer;
402 .resizer-left.snapped {
406 .resizer-left:hover {
410 .resizer-left.dragged {
414 .resizer-right {
419 cursor: pointer;
422 .resizer-right.snapped {
426 .resizer-right:hover {
430 .resizer-right.dragged {
434 .source-position {
435 /* border-left: 1px solid #FF3333; */
437 display: inline-block;
440 .source-position .inlining-marker {
443 display: inline-block;
444 top: -0.5ex;
445 margin-left: -4px;
446 margin-right: -4px;
447 border-width: 5px;
448 border-style: solid;
449 border-color: #555 transparent transparent transparent;
452 .source-position .marker {
454 display: inline-block;
456 bottom: -1ex;
458 margin-left: -4px;
459 margin-right: -4px;
460 border-width: 5px;
461 border-style: solid;
462 border-color: transparent transparent #555 transparent;
465 .source-position.selected .marker {
466 border-color: transparent transparent #F00 transparent;
469 .source-position .inlining-marker:hover {
470 border-color: transparent transparent #AA5 transparent;
473 .source-position .inlining-marker[data-descr]:hover::after {
474 content: attr(data-descr);
476 font-size: 10px;
477 z-index: 1;
478 background-color: #555;
480 text-align: center;
481 border-radius: 6px;
485 margin-left: -80px;
489 font-family: monospace;
490 margin-top: 50px;
493 .schedule-block {
495 background-color: white;
496 padding-left: 5px;
499 .schedule-block .block-id {
500 display: inline-block;
501 font-size:large;
502 text-decoration: underline;
503 padding-left: 1ex;
506 .schedule-block .block-id:hover {
507 font-weight: bold;
510 .schedule-block > .block-id::before {
514 .schedule-block .block-list {
515 display: inline-block;
518 .schedule-block .block-list * {
519 display: inline-block;
522 .schedule-block .block-list .block-id {
523 padding-left: 1ex;
526 .schedule-block .block-list .block-id:before {
530 .schedule-block .predecessor-list::before {
531 display: inline-block;
533 padding-left: 1ex;
534 padding-right: 1ex;
537 .schedule-block .successor-list::before {
538 display: inline-block;
540 padding-left: 1ex;
541 padding-right: 1ex;
544 .schedule-block .nodes .node * {
545 display:inline-block;
548 .schedule-block .nodes .node .node-id {
549 padding-right: 1ex;
550 min-width: 5ex;
551 text-align: right;
554 .schedule-block .nodes .node .node-id:after {
558 .schedule-block .nodes .node .node-label {
559 user-select: text;
562 .schedule-block .nodes .node .parameter-list:before {
566 .schedule-block .nodes .node .parameter-list:after {
570 .schedule-block .instr-marker {
571 padding-right: .5ex;
572 padding-left: .5ex;
573 min-width: 1ex;
578 .schedule-block > .instr-marker {
583 text-decoration: underline;
587 font-weight: bold;
590 .comma-sep-list > * {
591 padding-right: 1ex;
594 .comma-sep-list > *:after {
598 .comma-sep-list > *:last-child:after {
602 .comma-sep-list > *:last-child {
603 padding-right: 0ex;