4 * Copyright 2000, All rights reserved
5 * See ../Copyright for more information
12 #target-history .empty {
17 #command-history .empty {
30 div.decoration, div.default, div.header-line {
32 font-family: monospace;
33 white-space: pre-wrap;
36 div.line:first-child {
41 white-space: pre-wrap;
42 font-family: monospace;
46 div.label, div.note, div.text {
47 font-family: monospace;
48 white-space: pre-wrap;
50 vertical-align: middle;
62 border-bottom: 2px solid black;
63 border-top: 2px solid #f0f0ff;
67 background-color: #e0e0ff;
68 font-family: monospace;
70 vertical-align: middle;
71 white-space: pre-wrap;
75 font-family: monospace;
116 div.muxer-message, div.muxer-prompt form {
118 display: inline-block;
119 vertical-align: middle;
123 display: inline-block;
127 div.text, div.decoration, div.data, div.header, div.pad, div.item, div.units {
128 font-family: monospace;
130 vertical-align: middle;
131 white-space: pre-wrap;
142 div.output, configuration-output, configuration-information {
143 font-family: monospace;
144 white-space: pre-wrap;
149 background: none repeat scroll 0 0 #0D5995;
152 border-top-left-radius: 4px;
153 border-top-right-radius: 4px;
156 div.header-line-empty {
158 background: none repeat scroll 0 0 #0D5995;
174 div.keeper-active div.icon-box img.keeper {
175 border: 1px solid #966535;
177 -moz-border-radius: 4px;
178 -webkit-border-radius: 4px;
181 div.icon-box img.keeper {
182 border: 1px solid #ffffff;
184 -moz-border-radius: 4px;
185 -webkit-border-radius: 4px;
188 div#debug-container {
189 background-color: #ccc;
190 border: 1px solid #d0d0ff;
200 background-color: #ffffff;
204 white-space: pre-wrap;
209 padding: 0px 0px 40px 30px ;
213 display: inline-block;
214 background: url(/images/logo.png) no-repeat;
223 background-color: #ffffff;
229 background: rgb(230, 230, 230) url(/images/gear.png) no-repeat center;
236 box-shadow: 0 1px 1px #fff,
238 inset 0 -1px 1px rgba(0,0,0,0.5),
239 inset 0 1px 1px rgba(255,255,255,0.8);
243 background-color: #dde;
253 xdiv#header-actions div,
254 xdiv#header-info div {
255 display: inline-block;
265 padding: 6px 1px 6px 0px;
269 border: 1px solid #659635;
276 form#target-history-form {
280 input#target-history-submit {
281 background: url(none);
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;
302 div.target-history-entry {
303 display: inline-block;
307 display: inline-block;
308 font-family: Helvetica, Arial, sans-serif;
313 padding: 5px 10px 5px 10px;
317 div#target-contents-none {
319 font-family: Verdana, Arial, Helvetica, sans-serif ;
322 div#target-contents-none {
328 display: inline-block;
333 div#command-history {
334 border: 1px solid #c0c0ff;
337 font-family: Verdana, Arial, Helvetica, sans-serif ;
338 font-family: monospace;
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;
370 display: inline-block;
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);
402 div#mru-pulldown .mru-item {
406 div#mru-pulldown .mru-item:hover {
407 background: rgb(242, 244, 255);
416 div#recent-devices a {
417 color: rgb(0, 50, 112);
419 text-decoration: underline;
422 div#input-top .logo {
424 margin: 0px 10px 0px 10px;
427 form#target-input-form,
428 form#command-input-form {
429 display: inline-block;
434 display: inline-block;
436 margin: 10px 5px 0px 0px;
440 div#command-top .input-box {
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 {
458 margin: 10px 0px 10px 0px;
462 input.command-input {
463 font-family: Verdana, Arial, Helvetica, sans-serif ;
464 font-family: monospace;
473 /* border: 1px solid blue; */
479 div.output-header button {
487 div.output-header div.target-value {
491 div.output-header div.command-value {
495 div.output-header div.target-value,
496 div.output-header div.command-value {
503 display: inline-block;
505 font-family: Verdana, Arial, Helvetica, sans-serif ;
508 div.label, div.note {
518 input.command-value {
519 display: inline-block;
524 display: inline-block;
529 div#ember-view .output-content {
541 display: inline-block;
546 display: inline-block;
551 vertical-align: middle;
556 text-decoration: none;
557 text-shadow: -1px -1px 2px #777777;
558 text-shadow: rgba(10, 10, 10, 0.5) 1px 2px 2px;
569 border: 1px solid #659635;
571 padding: 2px 8px 2px 8px;
574 -moz-border-radius: 5px;
575 -webkit-border-radius: 5px;
580 background: linear-gradient(top,
581 #5da331 0%, #659635 2%, #9bcb2a 97%, #cfe782 100%);
582 background: -moz-linear-gradient(top,
583 #5da331 0%, #659635 2%, #9bcb2a 97%, #cfe782 100%);
584 background: -webkit-linear-gradient(top,
585 #5da331 0%, #659635 2%, #9bcb2a 97%, #cfe782 100%);
586 filter: progid:DXImageTransform.Microsoft.gradient(GradientType=0,
587 startColorstr='#659635', endColorstr='#9bcb2a');
593 background: linear-gradient(top,
594 #a0a0ff 0%, #c8c8ff 10%, #d8d8ff 90%, #f0f0ff 100%);
595 background: -moz-linear-gradient(top,
596 #a0a0ff 0%, #c8c8ff 10%, #d8d8ff 90%, #f0f0ff 100%);
597 background: -webkit-linear-gradient(top,
598 #a0a0ff 0%, #c8c8ff 10%, #d8d8ff 90%, #f0f0ff 100%);
599 filter: progid:DXImageTransform.Microsoft.gradient(GradientType=0,
600 startColorstr='#a0a0ff', endColorstr='#f0f0ff');
617 border: 1px solid #cbcad0;
618 margin: 0 5px 10px 5px;
622 font-family: 'GraublauWeb', arial, serif;
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;
658 border-bottom: 1px solid black;
663 div.possibility-debug {
666 border-bottom: 1px dotted red;
670 display: inline-block;
675 div.command-token div {
676 display: inline-block;
688 display: inline-block;
692 /* background: #ffe0e0; */
694 border-bottom: 1px dotted red;
697 div.parse-implicit-keyword,
701 display: inline-block;
704 div.parse-implicit-keyword,
715 div.parse-mandatory {
717 display: inline-block;
720 div.parse-mandatory-value {
723 display: inline-block;
726 div.output-content div.parse:first-of-type {
741 vertical-align: middle;
755 .inline-dialog .ui-dialog-titlebar-close {
769 div.prefs-item label,
770 div.ui-yf-item label {
775 div.prefs-item label,
776 div.prefs-item input,
778 div.ui-yf-item label,
779 div.ui-yf-item input,
789 div.dyn-form-wrapper {
790 display: inline-block;
791 border: 1px solid #ccc;
796 background-color: #1478dc;
803 display: inline-block;
805 padding: 2px 10px 2px 10px;
808 div.dyn-form-message {
810 padding: 5px 10px 5px 10px;
813 div.dyn-form-item label {
819 div.dyn-form-buttons {
821 padding: 5px 10px 10px 10px;
824 div.dyn-form-item label,
825 div.dyn-form-item input,
826 div.dyn-form-item select,
827 div.dyn-form-item div {
835 div.dyn-form-item input,
836 div.dyn-form-item select {
837 border: solid 1px #CCC;
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 {
862 vertical-align: middle;
865 div.dyn-form-item .dyn-radio-button {
871 border-bottom: 1px solid rgb(230, 230, 230);
872 border-top: 1px solid rgb(230, 230, 230);
881 .history-element .command {
885 .history-element .date {
886 color: rgb(130, 130, 130);
902 pointer-events: none;
908 background: -moz-linear-gradient(center top , #4B90C3, #0D63A3)
909 repeat scroll 0 0 transparent;
912 .ui-autocomplete-divider {
913 border-bottom: 1px solid black;
924 ul.ui-autocomplete li.ui-menu-item {
925 font-family: monospace;
928 ul.ui-autocomplete li.ui-menu-item a.label {
933 ul.ui-autocomplete li.ui-menu-item a.help {
938 text-decoration: none;
944 border-top: solid 1px #c8c8c8;
953 * Additional styles for messages
956 color: rgb(0, 94, 196);
959 .ui-state-info .ui-icon {
960 background-image:url(/themes/clira/images/ui-icons_ffcf29_256x240.png);
964 color: rgb(45, 126, 0);
967 .ui-state-success .ui-icon {
968 background-image:url(/themes/clira/images/ui-icons_ffcf29_256x240.png);
972 color: rgb(179, 146, 14);
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(1, #c62d1f) );
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;
991 filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#f24537', endColorstr='#c62d1f');
992 font-family: Courier New;
1000 text-decoration: none;
1002 text-shadow: 1px 1px 0px #810e05;
1006 .stop_button:hover {
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(1, #f24537) );
1010 filter:progid: DXImageTransform.Microsoft.gradient(startColorstr='#c62d1f', endColorstr='#f24537');
1013 .stop_button:active {
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; }