Lines Matching +full:solid +full:- +full:state

8 #content-wrapper {
12 #target-history .empty {
14 text-align:center;
17 #command-history .empty {
19 padding-left: 20px;
23 font-size: 70%;
26 div[data-key] {
30 div.decoration, div.default, div.header-line {
32 font-family: monospace;
33 white-space: pre-wrap;
36 div.line:first-child {
37 padding-top: 10px;
41 white-space: pre-wrap;
42 font-family: monospace;
47 font-family: monospace;
48 white-space: pre-wrap;
50 vertical-align: middle;
52 * font-weight: bold;
57 div.blank-line {
58 padding-top: 40px;
62 border-bottom: 2px solid black;
63 border-top: 2px solid #f0f0ff;
64 border-radius: 3px;
65 margin-top: 10px;
67 background-color: #e0e0ff;
68 font-family: monospace;
70 vertical-align: middle;
71 white-space: pre-wrap;
75 font-family: monospace;
103 div.blank-line {
108 white-space: pre;
112 div.muxer-prompt {
116 div.muxer-message, div.muxer-prompt form {
117 white-space: pre;
118 display: inline-block;
119 vertical-align: middle;
122 div.muxer-buttons {
123 display: inline-block;
128 font-family: monospace;
130 vertical-align: middle;
131 white-space: pre-wrap;
134 div.blank-line {
139 padding-left: 2em;
142 div.output, configuration-output, configuration-information {
143 font-family: monospace;
144 white-space: pre-wrap;
147 div.header-line {
150 margin-top: 4px;
151 padding-top: 4px;
152 border-top-left-radius: 4px;
153 border-top-right-radius: 4px;
156 div.header-line-empty {
159 padding-top: 4px;
160 padding-bottom: 2px;
174 div.keeper-active div.icon-box img.keeper {
175 border: 1px solid #966535;
176 border-radius: 4px;
177 -moz-border-radius: 4px;
178 -webkit-border-radius: 4px;
181 div.icon-box img.keeper {
182 border: 1px solid #ffffff;
183 border-radius: 4px;
184 -moz-border-radius: 4px;
185 -webkit-border-radius: 4px;
188 div#debug-container {
189 background-color: #ccc;
190 border: 1px solid #d0d0ff;
194 font-size: 70%;
199 div#debug-log {
200 background-color: #ffffff;
201 max-height: 200px;
202 overflow-y: auto;
204 white-space: pre-wrap;
212 div#header-logo {
213 display: inline-block;
214 background: url(/images/logo.png) no-repeat;
219 div#header-info {
220 display: table-cell;
223 background-color: #ffffff;
224 font-size: 80%;
225 padding-left: 10px;
229 background: rgb(230, 230, 230) url(/images/gear.png) no-repeat center;
230 margin-top: 5px;
231 min-height: 40px;
233 border-radius: 2px;
236 box-shadow: 0 1px 1px #fff,
237 0 -1px 1px #666,
238 inset 0 -1px 1px rgba(0,0,0,0.5),
243 background-color: #dde;
246 div#header-actions {
249 display: table-cell;
250 padding-left: 10px;
253 xdiv#header-actions div,
254 xdiv#header-info div {
255 display: inline-block;
258 div#target-list {
263 div#target-title {
264 display: table-cell;
268 div#target-history {
269 border: 1px solid #659635;
272 padding-left: 0px;
273 padding-right: 0px;
276 form#target-history-form {
277 margin-bottom: 0px;
280 input#target-history-submit {
282 margin-left: 2px;
285 div.target-history-name {
286 display: inline-block;
289 div.target-history-entry-parent:hover {
293 div.target-history-entry-parent:first-child {
294 border-top: 0px none;
297 div.target-history-entry-parent {
298 border-top: 1px solid #659635;
299 padding-left: 8px;
300 padding-right: 8px;
302 div.target-history-entry {
303 display: inline-block;
306 div.target-info {
307 display: inline-block;
308 font-family: Helvetica, Arial, sans-serif;
309 font-weight: bold;
310 font-size: 12px;
311 margin-right: 10px;
312 margin-left: 10px;
316 div#target-contents,
317 div#target-contents-none {
318 display: table-cell;
319 font-family: Verdana, Arial, Helvetica, sans-serif ;
322 div#target-contents-none {
323 padding-left: 10px;
324 font-size: 70%;
328 display: inline-block;
329 margin-left: 2px;
330 margin-right: 2px;
333 div#command-history {
334 border: 1px solid #c0c0ff;
337 font-family: Verdana, Arial, Helvetica, sans-serif ;
338 font-family: monospace;
339 font-size: 12px;
341 padding-left: 0px;
342 padding-right: 0px;
345 div.command-history-entry:hover {
349 div.command-history-entry:first-child {
350 border-top: 0px none;
353 div.command-history-entry {
354 border-top: 1px solid #c0c0ff;
355 padding-left: 8px;
356 padding-right: 8px;
360 padding-top: 100px;
365 font-size: 8;
366 text-align: center;
369 div#input-history {
370 display: inline-block;
372 margin-right: 5px;
377 div#input-top {
381 margin-bottom: 10px;
382 background-color: rgb(245, 245, 245);
383 border-bottom: rgb(200, 200, 200) solid 1px;
384 box-shadow: 0 1px 2px rgba(0, 0, 0, 0.1);
387 div#input-history .pulldown {
388 border: solid 1px rgb(180, 180, 200);
389 max-height: 300px;
390 overflow-y: auto;
395 div#mru-pulldown {
396 margin-top: 40px;
399 z-index: 9999;
402 div#mru-pulldown .mru-item {
406 div#mru-pulldown .mru-item:hover {
409 font-weight: 700;
412 div#recent-devices {
413 margin-top: 10px;
416 div#recent-devices a {
419 text-decoration: underline;
422 div#input-top .logo {
427 form#target-input-form,
428 form#command-input-form {
429 display: inline-block;
432 div#target-top,
433 div#command-top {
434 display: inline-block;
440 div#command-top .input-box {
442 min-width: 500px;
444 background-color: #fff;
448 div#command-top .focus-off {
449 border: solid 1px rgb(180, 180, 200);
452 div#command-top .focus-on {
453 border: solid 1px rgb(180, 180, 200);
454 box-shadow: 0px 0px 8px rgba(100, 100, 200, 0.5);
457 div#input-top .input-enter {
462 input.command-input {
463 font-family: Verdana, Arial, Helvetica, sans-serif ;
464 font-family: monospace;
465 font-size: 12px;
468 div#output-top {
469 margin-bottom: 20px;
472 div.output-wrapper {
473 /* border: 1px solid blue; */
474 margin-top: 5px;
479 div.output-header button {
480 margin-right: 4px;
483 div.output-header {
487 div.output-header div.target-value {
488 margin-left: 4px;
491 div.output-header div.command-value {
492 margin-right: 4px;
495 div.output-header div.target-value,
496 div.output-header div.command-value {
497 font-weight: normal;
498 font-size: 12px;
501 div.target-value,
502 input.target-value {
503 display: inline-block;
504 font-size: 12px;
505 font-family: Verdana, Arial, Helvetica, sans-serif ;
511 padding-left: 3px;
512 padding-right: 3px;
514 font-size: 12px;
517 div.command-value,
518 input.command-value {
519 display: inline-block;
520 font-size: 14px;
523 div.command-number {
524 display: inline-block;
525 font-size: 70%;
529 div#ember-view .output-content {
534 div.output-content {
536 font-size: 12px;
540 div.icon-box {
541 display: inline-block;
542 margin-right: 5px;
545 div#debug-title {
546 display: inline-block;
551 vertical-align: middle;
555 text-align: center;
556 text-decoration: none;
557 text-shadow: -1px -1px 2px #777777;
558 text-shadow: rgba(10, 10, 10, 0.5) 1px 2px 2px;
561 input.text-entry {
569 border: 1px solid #659635;
573 border-radius: 5px;
574 -moz-border-radius: 5px;
575 -webkit-border-radius: 5px;
580 background: linear-gradient(top,
582 background: -moz-linear-gradient(top,
584 background: -webkit-linear-gradient(top,
593 background: linear-gradient(top,
595 background: -moz-linear-gradient(top,
597 background: -webkit-linear-gradient(top,
604 .jquery-checkbox {
605 line-height: 24px;
610 list-style: none;
617 border: 1px solid #cbcad0;
622 font-family: 'GraublauWeb', arial, serif;
623 text-align: center;
630 padding-top: 32px;
631 text-decoration: none;
634 .setupgrid a#prefs-devices {
635 background: url(/images/prefs-devices.png) no-repeat center top;
638 .setupgrid a#prefs-groups {
639 background: url(/images/prefs-groups.png) no-repeat center top;
642 .setupgrid a#prefs-general {
643 background: url(/images/prefs-general.png) no-repeat center top;
653 border: 1px solid black;
656 div.input-debug {
658 border-bottom: 1px solid black;
660 font-weight: bold;
663 div.possibility-debug {
666 border-bottom: 1px dotted red;
669 div.match-debug {
670 display: inline-block;
674 div.command-token,
675 div.command-token div {
676 display: inline-block;
679 div.parse-details {
683 div.command-line {
684 font-weight: bold;
687 div.match-details {
688 display: inline-block;
694 border-bottom: 1px dotted red;
697 div.parse-implicit-keyword,
698 div.parse-token,
699 div.parse-trailing,
700 div.parse-missing {
701 display: inline-block;
704 div.parse-implicit-keyword,
705 div.parse-trailing,
706 div.parse-missing {
707 font-style: italic;
708 font-weight: normal;
711 div.parse-token {
712 font-weight: bold;
715 div.parse-mandatory {
717 display: inline-block;
720 div.parse-mandatory-value {
722 font-style: italic;
723 display: inline-block;
726 div.output-content div.parse:first-of-type {
730 div.command-help {
731 font-size: smaller;
732 font-style: italic;
733 padding-left: 20px;
734 padding-bottom: 5px;
739 margin-right: 5px;
740 max-width: 16px;
741 vertical-align: middle;
744 div.map-small {
749 div.inline-dialog {
750 box-shadow: none;
751 margin-left: 20px;
755 .inline-dialog .ui-dialog-titlebar-close {
759 div#prefs-title {
760 font-size: 120%;
761 font-weight: 600;
764 div.prefs-item,
765 div.ui-yf-item {
766 display: table-row;
769 div.prefs-item label,
770 div.ui-yf-item label {
771 padding-left: 10px;
772 padding-right: 5px;
775 div.prefs-item label,
776 div.prefs-item input,
777 div.prefs-item div,
778 div.ui-yf-item label,
779 div.ui-yf-item input,
780 div.ui-yf-item div {
781 display: table-cell;
784 div.dyn-form {
789 div.dyn-form-wrapper {
790 display: inline-block;
791 border: 1px solid #ccc;
792 min-width: 400px;
795 div.dyn-form-title {
796 background-color: #1478dc;
799 font-size: 1.1em;
802 div.dyn-form-item {
803 display: inline-block;
804 text-align: center;
808 div.dyn-form-message {
809 text-align: left;
813 div.dyn-form-item label {
815 padding-left: 10px;
816 padding-right: 5px;
819 div.dyn-form-buttons {
820 text-align: center;
824 div.dyn-form-item label,
825 div.dyn-form-item input,
826 div.dyn-form-item select,
827 div.dyn-form-item div {
829 line-height: 20px;
830 margin-top: 5px;
831 min-width: 100px;
832 text-align: left;
835 div.dyn-form-item input,
836 div.dyn-form-item select {
837 border: solid 1px #CCC;
838 margin-top: 5px;
842 div.dyn-form-item .mandatory {
843 border-color: rgb(213, 119, 0);
846 div.dyn-form-item .is-error {
847 border-color: rgb(213, 11, 0);
850 div.dyn-form-item .is-error:focus {
851 border-color: rgb(213, 11, 0);
854 div.dyn-form-item input:focus {
855 border: solid 1px rgb(180, 180, 200);
856 box-shadow: 0px 0px 3px rgba(100, 100, 200, 0.8);
859 div.dyn-form-boolean {
860 margin-left: -40px;
861 text-align: left;
862 vertical-align: middle;
865 div.dyn-form-item .dyn-radio-button {
866 margin-left: -30px;
867 margin-right: -40px;
870 div.dyn-radiogroup {
871 border-bottom: 1px solid rgb(230, 230, 230);
872 border-top: 1px solid rgb(230, 230, 230);
876 .dyn-dropdown-item {
877 max-height: 200px;
878 overflow-y: auto;
881 .history-element .command {
882 font-size: 16px;
885 .history-element .date {
887 font-style: italic;
892 stroke-width: 1.5px;
897 stroke-opacity: 0.6;
898 stroke-width: 2px;
902 pointer-events: none;
908 background: -moz-linear-gradient(center top , #4B90C3, #0D63A3)
912 .ui-autocomplete-divider {
913 border-bottom: 1px solid black;
916 .ui-autocomplete {
917 max-height: 400px;
918 overflow-y: auto;
919 overflow-x: hidden;
920 padding-right: 20px;
924 ul.ui-autocomplete li.ui-menu-item {
925 font-family: monospace;
928 ul.ui-autocomplete li.ui-menu-item a.label {
930 font-weight: bold;
933 ul.ui-autocomplete li.ui-menu-item a.help {
937 a.xpath-link {
938 text-decoration: none;
941 div.xpath-wrapper {
942 margin-top: 8px;
943 padding-top: 5px;
944 border-top: solid 1px #c8c8c8;
949 margin-top: 8px;
955 .ui-state-info {
959 .ui-state-info .ui-icon {
960 background-image:url(/themes/clira/images/ui-icons_ffcf29_256x240.png);
963 .ui-state-success {
967 .ui-state-success .ui-icon {
968 background-image:url(/themes/clira/images/ui-icons_ffcf29_256x240.png);
971 .ui-state-warning {
975 .ui-state-warning .ui-icon {
976 background-image:url(/themes/clira/images/ui-icons_ffcf29_256x240.png);
980 background-color: #f24537;
981 background: -moz-linear-gradient( center top, #f24537 5%, #c62d1f 100% );
982 …background: -webkit-gradient( linear, left top, left bottom, color-stop(0.05, #f24537), color-stop…
983 border: 1px solid #d02718;
984 border-bottom-left-radius: 6px;
985 border-bottom-right-radius: 6px;
986 border-top-left-radius: 6px;
987 border-top-right-radius: 6px;
988 box-shadow: inset 0px 1px 0px 0px #f5978e;
990 display: inline-block;
992 font-family: Courier New;
993 font-size: 10px;
994 font-style: normal;
995 font-weight: bold;
997 line-height: 16px;
998 margin-left: 5px;
999 text-align: center;
1000 text-decoration: none;
1001 text-indent: 0.4px;
1002 text-shadow: 1px 1px 0px #810e05;
1007 background-color: #c62d1f;
1008 background: -moz-linear-gradient( center top, #c62d1f 5%, #f24537 100% );
1009 …background: -webkit-gradient( linear, left top, left bottom, color-stop(0.05, #c62d1f), color-stop…
1018 div.color-fg-black { color: black; }
1019 div.color-fg-red { color: red; }
1020 div.color-fg-green { color: green; }
1021 div.color-fg-yellow { color: yellow; }
1022 div.color-fg-blue { color: blue; }
1023 div.color-fg-magenta { color: magenta; }
1024 div.color-fg-cyan { color: cyan; }
1025 div.color-fg-white { color: white; }
1027 div.color-bg-black { background-color: black; }
1028 div.color-bg-red { background-color: red; }
1029 div.color-bg-green { background-color: green; }
1030 div.color-bg-yellow { background-color: yellow; }
1031 div.color-bg-blue { background-color: blue; }
1032 div.color-bg-magenta { background-color: magenta; }
1033 div.color-bg-cyan { background-color: cyan; }
1034 div.color-bg-white { background-color: white; }
1036 div.color-fg-inverse { color: white; }
1037 div.color-bg-inverse { background-color: black; }
1039 div.effect-bold { font-weight:bold; }
1040 div.effect-underline { text-decoration: underline; }