contrib/libxo/xohtml/xohtml.css

   1 /*
   2  * $Id$
   3  *
   4  * Copyright 2000, All rights reserved
   5  * See ../Copyright for more information
   6  */
   7
   8 #content-wrapper {
   9     margin: 0 4px;
  10 }
  11
  12 #target-history .empty {
  13     color: #d0d0d0;
  14     text-align:center;
  15 }
  16
  17 #command-history .empty {
  18     color: grey;
  19     padding-left: 20px;
  20 }
  21
  22 #prefs {
  23     font-size: 70%;
  24 }
  25
  26 div[data-key] {
  27     color: red;
  28 }
  29
  30 div.decoration, div.default, div.header-line {
  31     color: #505050;
  32     font-family: monospace;
  33     white-space: pre-wrap;
  34 }
  35
  36 div.line:first-child {
  37     padding-top: 10px;
  38 }
  39
  40 div.padding {
  41     white-space: pre-wrap;
  42     font-family: monospace;
  43     display: inline;
  44 }
  45
  46 div.label, div.note, div.text {
  47     font-family: monospace;
  48     white-space: pre-wrap;
  49     display: inline;
  50     vertical-align: middle;
  51 /*
  52  *    font-weight: bold;
  53  *    color: #606060;
  54  */
  55 }
  56
  57 div.blank-line {
  58     padding-top: 40px;
  59 }
  60
  61 div.title {
  62     border-bottom: 2px solid black;
  63     border-top: 2px solid #f0f0ff;
  64     border-radius: 3px;
  65     margin-top: 10px;
  66     color: #1010a0;
  67     background-color: #e0e0ff;
  68     font-family: monospace;
  69     display: inline;
  70     vertical-align: middle;
  71     white-space: pre-wrap;
  72 }
  73
  74 div.data {
  75     font-family: monospace;
  76 }
  77
  78 div.line {
  79     display: block;
  80 }
  81
  82 div.indented {
  83     display: inline;
  84 }
  85
  86 div.indent {
  87     display: inline;
  88 }
  89
  90 /* BEGIN LINES */
  91 div.line {
  92     border: none;
  93 }
  94
  95 div.item {
  96     border: none;
  97 }
  98
  99 div.pad {
 100     border: none;
 101 }
 102
 103 div.blank-line {
 104     border: 1px inset;
 105 }
 106
 107 div.item {
 108     white-space: pre;
 109 }
 110 /* END LINES */
 111
 112 div.muxer-prompt {
 113     padding: 2em;
 114 }
 115
 116 div.muxer-message, div.muxer-prompt form {
 117     white-space: pre;
 118     display: inline-block;
 119     vertical-align: middle;
 120 }
 121
 122 div.muxer-buttons {
 123     display: inline-block;
 124     padding: 20px;
 125 }
 126
 127 div.text, div.decoration, div.data, div.header, div.pad, div.item, div.units {
 128     font-family: monospace;
 129     display: inline;
 130     vertical-align: middle;
 131     white-space: pre-wrap;
 132 }
 133
 134 div.blank-line {
 135     margin: 5px;
 136 }
 137
 138 div.indentxxx {
 139    padding-left: 2em;
 140 }
 141
 142 div.output, configuration-output, configuration-information {
 143     font-family: monospace;
 144     white-space: pre-wrap;
 145 }
 146
 147 div.header-line {
 148     color: #ffffff;
 149     background: none repeat scroll 0 0 #0D5995;
 150     margin-top: 4px;
 151     padding-top: 4px;
 152     border-top-left-radius: 4px;
 153     border-top-right-radius: 4px;
 154 }
 155
 156 div.header-line-empty {
 157     color: #ffffff;
 158     background: none repeat scroll 0 0 #0D5995;
 159     padding-top: 4px;
 160     padding-bottom: 2px;
 161 }
 162
 163
 164 /*
 165  * juise rendering
 166  */
 167
 168 div.hidden,
 169 img.hidden,
 170 button.hidden {
 171     display: none;
 172 }
 173
 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;
 179 }
 180
 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;
 186 }
 187
 188 div#debug-container {
 189     background-color: #ccc;
 190     border: 1px solid #d0d0ff;
 191     bottom: 0;
 192     color: blue;
 193     display: none;
 194     font-size: 70%;
 195     position: fixed;
 196     width: 100%;
 197 }
 198
 199 div#debug-log {
 200     background-color: #ffffff;
 201     max-height: 200px;
 202     overflow-y: auto;
 203     padding: 0 5px;
 204     white-space: pre-wrap;
 205 }
 206
 207 div#header {
 208     height: 30px;
 209     padding: 0px 0px 40px 30px ;
 210 }
 211
 212 div#header-logo {
 213     display: inline-block;
 214     background: url(/images/logo.png) no-repeat;
 215     height: 60px;
 216     width: 150px;
 217 }
 218
 219 div#header-info {
 220     display: table-cell;
 221     height: 60px;
 222     width: 60%;
 223     background-color: #ffffff;
 224     font-size: 80%;
 225     padding-left: 10px;
 226 }
 227
 228 .prefsbtn {
 229     background: rgb(230, 230, 230) url(/images/gear.png) no-repeat center;
 230     margin-top: 5px;
 231     min-height: 40px;
 232     width: 40px;
 233     border-radius: 2px;
 234     cursor: pointer;
 235     float: right;
 236     box-shadow: 0 1px 1px #fff,
 237                 0 -1px 1px #666,
 238                 inset 0 -1px 1px rgba(0,0,0,0.5),
 239                 inset 0 1px 1px rgba(255,255,255,0.8);
 240 }
 241
 242 .prefsbtn:hover {
 243     background-color: #dde;
 244 }
 245
 246 div#header-actions {
 247     height: 60px;
 248     width: 200px;
 249     display: table-cell;
 250     padding-left: 10px;
 251 }
 252
 253 xdiv#header-actions div,
 254 xdiv#header-info div {
 255     display: inline-block;
 256 }
 257
 258 div#target-list {
 259     display: none;
 260     clear: both;
 261 }
 262
 263 div#target-title {
 264     display: table-cell;
 265     padding: 6px 1px 6px 0px;
 266 }
 267
 268 div#target-history {
 269     border: 1px solid #659635;
 270     position: absolute;
 271     width: 25%;
 272     padding-left: 0px;
 273     padding-right: 0px;
 274 }
 275
 276 form#target-history-form {
 277     margin-bottom: 0px;
 278 }
 279
 280 input#target-history-submit {
 281     background: url(none);
 282     margin-left: 2px;
 283 }
 284
 285 div.target-history-name {
 286     display: inline-block;
 287 }
 288
 289 div.target-history-entry-parent:hover {
 290     background: #659635;
 291 }
 292
 293 div.target-history-entry-parent:first-child {
 294     border-top: 0px none;
 295 }
 296
 297 div.target-history-entry-parent {
 298     border-top: 1px solid #659635;
 299     padding-left: 8px;
 300     padding-right: 8px;
 301 }
 302 div.target-history-entry {
 303     display: inline-block;
 304 }
 305
 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;
 313     padding: 5px 10px 5px 10px;
 314 }
 315
 316 div#target-contents,
 317 div#target-contents-none {
 318     display: table-cell;
 319     font-family: Verdana, Arial, Helvetica, sans-serif ;
 320 }
 321
 322 div#target-contents-none {
 323     padding-left: 10px;
 324     font-size: 70%;
 325 }
 326
 327 div.target {
 328     display: inline-block;
 329     margin-left: 2px;
 330     margin-right: 2px;
 331 }
 332
 333 div#command-history {
 334     border: 1px solid #c0c0ff;
 335     position: absolute;
 336     width: 60em;
 337     font-family: Verdana, Arial, Helvetica, sans-serif ;
 338     font-family: monospace;
 339     font-size: 12px;
 340     background: #e0e0ff;
 341     padding-left: 0px;
 342     padding-right: 0px;
 343 }
 344
 345 div.command-history-entry:hover {
 346     background: #c0c0ff;
 347 }
 348
 349 div.command-history-entry:first-child {
 350     border-top: 0px none;
 351 }
 352
 353 div.command-history-entry {
 354     border-top: 1px solid #c0c0ff;
 355     padding-left: 8px;
 356     padding-right: 8px;
 357 }
 358
 359 div#footer {
 360     padding-top: 100px;
 361     clear: both;
 362     display: block;
 363     height: 100px;
 364     width: 100%;
 365     font-size: 8;
 366     text-align: center;
 367 }
 368
 369 div#input-history {
 370     display: inline-block;
 371     float: left;
 372     margin-right: 5px;
 373     position: relative;
 374     width: 70%;
 375 }
 376
 377 div#input-top {
 378     display: block;
 379     height: 70px;
 380     padding: 10px;
 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);
 385 }
 386
 387 div#input-history .pulldown {
 388     border: solid 1px rgb(180, 180, 200);
 389     max-height: 300px;
 390     overflow-y: auto;
 391     padding: 0px;
 392     width: 100%;
 393 }
 394
 395 div#mru-pulldown {
 396     margin-top: 40px;
 397     position: absolute;
 398     width: 100%;
 399     z-index: 9999;
 400 }
 401
 402 div#mru-pulldown .mru-item {
 403     padding: 5px;
 404 }
 405
 406 div#mru-pulldown .mru-item:hover {
 407     background: rgb(242, 244, 255);
 408     cursor: pointer;
 409     font-weight: 700;
 410 }
 411
 412 div#recent-devices {
 413     margin-top: 10px;
 414 }
 415
 416 div#recent-devices a {
 417     color: rgb(0, 50, 112);
 418     cursor: pointer;
 419     text-decoration: underline;
 420 }
 421
 422 div#input-top .logo {
 423     float: left;
 424     margin: 0px 10px 0px 10px;
 425 }
 426
 427 form#target-input-form,
 428 form#command-input-form {
 429     display: inline-block;
 430 }
 431
 432 div#target-top,
 433 div#command-top {
 434     display: inline-block;
 435     float: left;
 436     margin: 10px 5px 0px 0px;
 437     width: 100%;
 438 }
 439
 440 div#command-top .input-box {
 441     height: 32px;
 442     min-width: 500px;
 443     padding: 1px;
 444     background-color: #fff;
 445     width: 100%;
 446 }
 447
 448 div#command-top .focus-off {
 449     border: solid 1px rgb(180, 180, 200);
 450 }
 451
 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);
 455 }
 456
 457 div#input-top .input-enter {
 458     margin: 10px 0px 10px 0px;
 459     float: left;
 460 }
 461
 462 input.command-input {
 463     font-family: Verdana, Arial, Helvetica, sans-serif ;
 464     font-family: monospace;
 465     font-size: 12px;
 466 }
 467
 468 div#output-top {
 469     margin-bottom: 20px;
 470 }
 471
 472 div.output-wrapper {
 473 /*    border: 1px solid blue; */
 474     margin-top: 5px;
 475     background: white;
 476     padding: 0px;
 477 }
 478
 479 div.output-header button {
 480     margin-right: 4px;
 481 }
 482
 483 div.output-header {
 484     padding: 4px;
 485 }
 486
 487 div.output-header div.target-value {
 488     margin-left: 4px;
 489 }
 490
 491 div.output-header div.command-value {
 492     margin-right: 4px;
 493 }
 494
 495 div.output-header div.target-value,
 496 div.output-header div.command-value {
 497     font-weight: normal;
 498     font-size: 12px;
 499 }
 500
 501 div.target-value,
 502 input.target-value {
 503     display: inline-block;
 504     font-size: 12px;
 505     font-family: Verdana, Arial, Helvetica, sans-serif ;
 506 }
 507
 508 div.label, div.note {
 509     display: inline;
 510 /*
 511     padding-left: 3px;
 512     padding-right: 3px;
 513 */
 514     font-size: 12px;
 515 }
 516
 517 div.command-value,
 518 input.command-value {
 519     display: inline-block;
 520     font-size: 14px;
 521 }
 522
 523 div.command-number {
 524     display: inline-block;
 525     font-size: 70%;
 526     float: right;
 527 }
 528
 529 div#ember-view .output-content {
 530     float: left;
 531     position: relative;
 532 }
 533
 534 div.output-content {
 535     display: block;
 536     font-size: 12px;
 537     padding: 10px;
 538 }
 539
 540 div.icon-box {
 541     display: inline-block;
 542     margin-right: 5px;
 543 }
 544
 545 div#debug-title {
 546     display: inline-block;
 547 }
 548
 549 img.icon {
 550     height: 16px;
 551     vertical-align: middle;
 552 }
 553
 554 .buttonish {
 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;
 559 }
 560
 561 input.text-entry {
 562     border: 0;
 563     outline: 0;
 564     height: 20px;
 565     width: 100%;
 566 }
 567
 568 .rounded {
 569     border: 1px solid #659635;
 570     background: #99ca28;
 571     padding: 2px 8px 2px 8px;
 572
 573     border-radius: 5px;
 574     -moz-border-radius: 5px;
 575     -webkit-border-radius: 5px;
 576 }
 577
 578 .green {
 579     color: #ffffff;
 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');
 588 }
 589
 590 .blue {
 591     color: #0c0c0c;
 592 /*
 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');
 601 */
 602 }
 603
 604 .jquery-checkbox {
 605     line-height: 24px;
 606 }
 607
 608 ul.setupgrid {
 609     padding: 0;
 610     list-style: none;
 611     margin: 0 auto;
 612 }
 613
 614 ul.setupgrid li {
 615     float: left;
 616     padding: 10px;
 617     border: 1px solid #cbcad0;
 618     margin: 0 5px 10px 5px;
 619 }
 620
 621 div.setupgrid {
 622    font-family: 'GraublauWeb', arial, serif;
 623    text-align: center;
 624 }
 625
 626 .setupgrid a {
 627     height: 32px;
 628     width: 64px;
 629     display: block;
 630     padding-top: 32px;
 631     text-decoration: none;
 632 }
 633
 634 .setupgrid a#prefs-devices {
 635     background: url(/images/prefs-devices.png) no-repeat center top;
 636 }
 637
 638 .setupgrid a#prefs-groups {
 639     background: url(/images/prefs-groups.png) no-repeat center top;
 640 }
 641
 642 .setupgrid a#prefs-general {
 643     background: url(/images/prefs-general.png) no-repeat center top;
 644 }
 645
 646 div.input {
 647     background: #e0e0ff;
 648     padding: 10px;
 649 }
 650
 651 div.parse {
 652     background: #b0b0b0;
 653     border: 1px solid black;
 654 }
 655
 656 div.input-debug {
 657     background: #ffe0e0;
 658     border-bottom: 1px solid black;
 659     padding: 10px;
 660     font-weight: bold;
 661 }
 662
 663 div.possibility-debug {
 664     background: #ffe0e0;
 665     padding: 10px;
 666     border-bottom: 1px dotted red;
 667 }
 668
 669 div.match-debug {
 670     display: inline-block;
 671     padding: 5px;
 672 }
 673
 674 div.command-token,
 675 div.command-token div {
 676     display: inline-block;
 677 }
 678
 679 div.parse-details {
 680 /*    display: none; */
 681 }
 682
 683 div.command-line {
 684     font-weight: bold;
 685 }
 686
 687 div.match-details {
 688     display: inline-block;
 689 }
 690
 691 div.possibility {
 692 /*    background: #ffe0e0; */
 693     padding: 10px;
 694     border-bottom: 1px dotted red;
 695 }
 696
 697 div.parse-implicit-keyword,
 698 div.parse-token,
 699 div.parse-trailing,
 700 div.parse-missing {
 701     display: inline-block;
 702 }
 703
 704 div.parse-implicit-keyword,
 705 div.parse-trailing,
 706 div.parse-missing {
 707     font-style: italic;
 708     font-weight: normal;
 709 }
 710
 711 div.parse-token {
 712     font-weight: bold;
 713 }
 714
 715 div.parse-mandatory {
 716     color: red;
 717     display: inline-block;
 718 }
 719
 720 div.parse-mandatory-value {
 721     color: red;
 722     font-style: italic;
 723     display: inline-block;
 724 }
 725
 726 div.output-content div.parse:first-of-type {
 727     display: none;
 728 }
 729
 730 div.command-help {
 731     font-size: smaller;
 732     font-style: italic;
 733     padding-left: 20px;
 734     padding-bottom: 5px;
 735 }
 736
 737 img.rendered {
 738     float: left;
 739     margin-right: 5px;
 740     max-width: 16px;
 741     vertical-align: middle;
 742 }
 743
 744 div.map-small {
 745     width: 300px;
 746     height: 200px;
 747 }
 748
 749 div.inline-dialog {
 750     box-shadow: none;
 751     margin-left: 20px;
 752     position: relative;
 753 }
 754
 755 .inline-dialog .ui-dialog-titlebar-close {
 756     display: none;
 757 }
 758
 759 div#prefs-title {
 760     font-size: 120%;
 761     font-weight: 600;
 762 }
 763
 764 div.prefs-item,
 765 div.ui-yf-item {
 766     display: table-row;
 767 }
 768
 769 div.prefs-item label,
 770 div.ui-yf-item label {
 771     padding-left: 10px;
 772     padding-right: 5px;
 773 }
 774
 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;
 782 }
 783
 784 div.dyn-form {
 785     padding: 5px;
 786     width: auto;
 787 }
 788
 789 div.dyn-form-wrapper {
 790     display: inline-block;
 791     border: 1px solid #ccc;
 792     min-width: 400px;
 793 }
 794
 795 div.dyn-form-title {
 796     background-color: #1478dc;
 797     padding: 10px;
 798     color: white;
 799     font-size: 1.1em;
 800 }
 801
 802 div.dyn-form-item {
 803     display: inline-block;
 804     text-align: center;
 805     padding: 2px 10px 2px 10px;
 806 }
 807
 808 div.dyn-form-message {
 809     text-align: left;
 810     padding: 5px 10px 5px 10px;
 811 }
 812
 813 div.dyn-form-item label {
 814     float: left;
 815     padding-left: 10px;
 816     padding-right: 5px;
 817 }
 818
 819 div.dyn-form-buttons {
 820     text-align: center;
 821     padding: 5px 10px 10px 10px;
 822 }
 823
 824 div.dyn-form-item label,
 825 div.dyn-form-item input,
 826 div.dyn-form-item select,
 827 div.dyn-form-item div {
 828     float: left;
 829     line-height: 20px;
 830     margin-top: 5px;
 831     min-width: 100px;
 832     text-align: left;
 833 }
 834
 835 div.dyn-form-item input,
 836 div.dyn-form-item select {
 837     border: solid 1px #CCC;
 838     margin-top: 5px;
 839     width: auto;
 840 }
 841
 842 div.dyn-form-item .mandatory {
 843     border-color: rgb(213, 119, 0);
 844 }
 845
 846 div.dyn-form-item .is-error {
 847     border-color: rgb(213, 11, 0);
 848 }
 849
 850 div.dyn-form-item .is-error:focus {
 851     border-color: rgb(213, 11, 0);
 852 }
 853
 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);
 857 }
 858
 859 div.dyn-form-boolean {
 860     margin-left: -40px;
 861     text-align: left;
 862     vertical-align: middle;
 863 }
 864
 865 div.dyn-form-item .dyn-radio-button {
 866     margin-left: -30px;
 867     margin-right: -40px;
 868 }
 869
 870 div.dyn-radiogroup {
 871     border-bottom: 1px solid rgb(230, 230, 230);
 872     border-top: 1px solid rgb(230, 230, 230);
 873     padding: 5px;
 874 }
 875
 876 .dyn-dropdown-item {
 877     max-height: 200px;
 878     overflow-y: auto;
 879 }
 880
 881 .history-element .command {
 882     font-size: 16px;
 883 }
 884
 885 .history-element .date {
 886     color: rgb(130, 130, 130);
 887     font-style: italic;
 888 }
 889
 890 .node {
 891     stroke: #fff;
 892     stroke-width: 1.5px;
 893 }
 894
 895 .link {
 896     stroke: #444;
 897     stroke-opacity: 0.6;
 898     stroke-width: 2px;
 899 }
 900
 901 g.node text {
 902     pointer-events: none;
 903     font: 8px;
 904     stroke: #000080;
 905 }
 906
 907 some.day {
 908     background: -moz-linear-gradient(center top , #4B90C3, #0D63A3)
 909                 repeat scroll 0 0 transparent;
 910 }
 911
 912 .ui-autocomplete-divider {
 913     border-bottom: 1px solid black;
 914 }
 915
 916 .ui-autocomplete {
 917     max-height: 400px;
 918     overflow-y: auto;
 919     overflow-x: hidden;
 920     padding-right: 20px;
 921     width: 650px;
 922 }
 923
 924 ul.ui-autocomplete li.ui-menu-item {
 925     font-family: monospace;
 926 }
 927
 928 ul.ui-autocomplete li.ui-menu-item a.label {
 929     float: left;
 930     font-weight: bold;
 931 }
 932
 933 ul.ui-autocomplete li.ui-menu-item a.help {
 934     float: right;
 935 }
 936
 937 a.xpath-link {
 938     text-decoration: none;
 939 }
 940
 941 div.xpath-wrapper {
 942     margin-top: 8px;
 943     padding-top: 5px;
 944     border-top: solid 1px #c8c8c8;
 945 }
 946
 947 div.xpath {
 948     display: none;
 949     margin-top: 8px;
 950 }
 951
 952 /*
 953  * Additional styles for messages
 954  */
 955 .ui-state-info {
 956     color: rgb(0, 94, 196);
 957 }
 958
 959 .ui-state-info .ui-icon {
 960     background-image:url(/themes/clira/images/ui-icons_ffcf29_256x240.png);
 961 }
 962
 963 .ui-state-success {
 964     color: rgb(45, 126, 0);
 965 }
 966
 967 .ui-state-success .ui-icon {
 968     background-image:url(/themes/clira/images/ui-icons_ffcf29_256x240.png);
 969 }
 970
 971 .ui-state-warning {
 972     color: rgb(179, 146, 14);
 973 }
 974
 975 .ui-state-warning .ui-icon {
 976     background-image:url(/themes/clira/images/ui-icons_ffcf29_256x240.png);
 977 }
 978
 979 .stop_button {
 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;
 989     color: #ffffff;
 990     display: inline-block;
 991     filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#f24537', endColorstr='#c62d1f');
 992     font-family: Courier New;
 993     font-size: 10px;
 994     font-style: normal;
 995     font-weight: bold;
 996     height: 16px;
 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;
1003     width: 37px;
1004 }
1005
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');
1011 }
1012
1013 .stop_button:active {
1014     position: relative;
1015     top: 1px;
1016 }
1017
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; }
1026
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; }
1035
1036 div.color-fg-inverse { color: white; }
1037 div.color-bg-inverse { background-color: black; }
1038
1039 div.effect-bold { font-weight:bold; }
1040 div.effect-underline { text-decoration: underline; }