Annotation of modules/damieng/graphical_editor/daxe/lib/daxe.css, revision 1.1
1.1 ! damieng 1: body {
! 2: line-height: 1.5;
! 3: color: black;
! 4: background-color: white;
! 5: overflow: hidden;
! 6: }
! 7:
! 8: button {
! 9: padding: 2px;
! 10: }
! 11:
! 12: #headers {
! 13: position: absolute;
! 14: top: 0em;
! 15: left: 0em;
! 16: right: 0em;
! 17: z-index: 5;
! 18: }
! 19:
! 20: #left_panel {
! 21: position: absolute;
! 22: top: 4em;
! 23: bottom: 1.3em;
! 24: left: 0em;
! 25: width: 15em;
! 26: z-index: 1;
! 27: background-color: #F0F0F0;
! 28: }
! 29:
! 30: #tab_buttons {
! 31: position: absolute;
! 32: top: 0em;
! 33: left: 0em;
! 34: right: 0em;
! 35: border-bottom: 1px solid #555;
! 36: background-color: #F5F5F5;
! 37: z-index: 3;
! 38: }
! 39:
! 40: .tab_button {
! 41: position: relative;
! 42: top: 1px;
! 43: display: inline-block;
! 44: vertical-align: bottom;
! 45: border: 1px solid #555;
! 46: padding-left: 4px;
! 47: padding-right: 4px;
! 48: padding-top: 2px;
! 49: padding-bottom: 2px;
! 50: background-color: #F5F5F5;
! 51: border-top-left-radius: 0.4em;
! 52: border-top-right-radius: 0.4em;
! 53: cursor: default;
! 54: -webkit-user-select: none;
! 55: -khtml-user-select: none;
! 56: -moz-user-select: none;
! 57: -ms-user-select: none;
! 58: user-select: none;
! 59: }
! 60:
! 61: .tab_button:hover {
! 62: background-color: #DDD;
! 63: }
! 64:
! 65: .tab_button:focus {
! 66: outline: none;
! 67: box-shadow: inset 0px 0px 1px 1px #50A0FF;
! 68: }
! 69:
! 70: .tab_button.selected {
! 71: border-bottom: 1px solid #F0F0F0;
! 72: background-color: #F0F0F0;
! 73: color: black;
! 74: }
! 75:
! 76: #insert {
! 77: position: absolute;
! 78: top: 2em;
! 79: bottom: 0em;
! 80: left: 0em;
! 81: width: 15em;
! 82: overflow: auto;
! 83: text-align: center;
! 84: background-color: #F0F0F0;
! 85: }
! 86:
! 87: #tree {
! 88: position: absolute;
! 89: top: 2em;
! 90: bottom: 0em;
! 91: left: 0em;
! 92: width: 15em;
! 93: overflow: auto;
! 94: background-color: #F0F0F0;
! 95: white-space: pre;
! 96: }
! 97:
! 98: .tree_div {
! 99: position: relative;
! 100: margin-left: 0.5em;
! 101: }
! 102:
! 103: .expand_button {
! 104: position: absolute;
! 105: left: -14px;
! 106: top: 0px;
! 107: display: inline-block;
! 108: padding-left: 1px;
! 109: padding-right: 1px;
! 110: margin-right: 2px;
! 111: text-align: center;
! 112: cursor: default;
! 113: -webkit-user-select: none;
! 114: -khtml-user-select: none;
! 115: -moz-user-select: none;
! 116: -ms-user-select: none;
! 117: user-select: none;
! 118: }
! 119:
! 120: .expand_button:hover {
! 121: background-color: #DDD;
! 122: }
! 123:
! 124: .tree_node_title {
! 125: cursor: default;
! 126: -webkit-user-select: none;
! 127: -khtml-user-select: none;
! 128: -moz-user-select: none;
! 129: -ms-user-select: none;
! 130: user-select: none;
! 131: }
! 132:
! 133: .tree_node_title:focus {
! 134: outline: none;
! 135: box-shadow: 0px 0px 1px 1px #50A0FF;
! 136: }
! 137:
! 138: .tree_node_title:hover {
! 139: background-color: #DDD;
! 140: }
! 141:
! 142: #insert button.insertb {
! 143: width: 80%
! 144: }
! 145:
! 146:
! 147: div.menubar {
! 148: background-color: #FFFFFF;
! 149: color: #000;
! 150: border-bottom: 1px solid #000;
! 151: cursor: default;
! 152: z-index: 10;
! 153: -webkit-user-select: none;
! 154: -khtml-user-select: none;
! 155: -moz-user-select: none;
! 156: -ms-user-select: none;
! 157: user-select: none;
! 158: font-family: sans-serif;
! 159: }
! 160:
! 161: div.menu_title {
! 162: position: relative;
! 163: display: inline-block;
! 164: padding-left: 0.5em;
! 165: padding-right: 0.5em;
! 166: font-size: 0.9rem;
! 167: }
! 168:
! 169: .menu_title .disabled {
! 170: color: #AAA;
! 171: }
! 172:
! 173: .menu_title:focus {
! 174: outline: none;
! 175: box-shadow: inset 0px 0px 1px 1px #50A0FF;
! 176: }
! 177:
! 178: div.dropdown_menu {
! 179: position: absolute;
! 180: left: 0px;
! 181: top: 100%;
! 182: min-width: 5em;
! 183: white-space: nowrap;
! 184: z-index: 10;
! 185: font-family: sans-serif;
! 186: font-size: 0.9rem;
! 187: }
! 188:
! 189: table.menu {
! 190: border-spacing: 0px;
! 191: color: #000;
! 192: background-color: #FFFFFF;
! 193: border: 1px solid #000;
! 194: box-shadow: 2px 2px 2px #AAA;
! 195: }
! 196:
! 197: table.menu tr td {
! 198: position: relative;
! 199: padding-left: 5px;
! 200: padding-right: 5px;
! 201: cursor: default;
! 202: }
! 203:
! 204: table.menu tr.checked td:nth-of-type(2)::after {
! 205: content: "✓";
! 206: }
! 207:
! 208: div.submenu {
! 209: position: absolute;
! 210: left: 100%;
! 211: top: 0px;
! 212: width: 20em;
! 213: z-index: 10;
! 214: }
! 215:
! 216: .disabled {
! 217: color: #A0A0A0;
! 218: }
! 219:
! 220:
! 221: .toolbar {
! 222: cursor: default;
! 223: z-index: 5;
! 224: padding: 1px;
! 225: background: linear-gradient(#F5F5F5, #DADADA);
! 226: box-shadow: 2px 2px 2px #AAA;
! 227: -webkit-user-select: none;
! 228: -khtml-user-select: none;
! 229: -moz-user-select: none;
! 230: -ms-user-select: none;
! 231: user-select: none;
! 232: }
! 233:
! 234: .toolbar-box {
! 235: display: inline-block;
! 236: line-height: 20px;
! 237: border: 1px solid #AAA;
! 238: margin: 0.2em;
! 239: background: #FAFAFA;
! 240: border-radius: 5px;
! 241: overflow: hidden;
! 242: vertical-align: top;
! 243: }
! 244:
! 245: .toolbar-menu {
! 246: display: inline-block;
! 247: line-height: 20px;
! 248: border: 1px solid #AAA;
! 249: margin: 0.3em;
! 250: background: #FFFFFF;
! 251: vertical-align: top;
! 252: }
! 253:
! 254: .toolbar-button {
! 255: display: inline-block;
! 256: line-height: 18px;
! 257: padding: 3px;
! 258: }
! 259:
! 260: .button-disabled {
! 261: opacity: 0.3;
! 262: }
! 263:
! 264: .button-selected {
! 265: background-color: #CCC;
! 266: }
! 267:
! 268: .toolbar-button:hover {
! 269: background-color: #DDD;
! 270: }
! 271:
! 272: .toolbar-button:focus {
! 273: outline: none;
! 274: box-shadow: inset 0px 0px 1px 1px #50A0FF;
! 275: }
! 276:
! 277: .toolbar-button:focus img {
! 278: }
! 279:
! 280: .toolbar-button.button-disabled:hover {
! 281: background-color: transparent;
! 282: }
! 283:
! 284: .toolbar-button img {
! 285: vertical-align: middle;
! 286: }
! 287:
! 288: div#doc1 {
! 289: position: absolute;
! 290: bottom: 1.3em;
! 291: left: 15em;
! 292: right: 0em;
! 293: top: 4em;
! 294: overflow: auto;
! 295: }
! 296:
! 297: div#doc2 {
! 298: cursor: text;
! 299: padding-right: 3px;
! 300: }
! 301:
! 302: div#path {
! 303: position: fixed;
! 304: left: 0px;
! 305: bottom: 0px;
! 306: width: 100%;
! 307: height: 1.5em;
! 308: z-index: 2;
! 309: border-top: 1px solid #999;
! 310: font-family: sans-serif;
! 311: font-size: 85%;
! 312: background-color: #F0F0F0;
! 313: color: #000000;
! 314: }
! 315:
! 316: textarea#tacursor {
! 317: position: absolute;
! 318: width: 0.5em;
! 319: height: 1em;
! 320: border: medium none;
! 321: opacity: 0;
! 322: resize: none;
! 323: pointer-events: none;
! 324: text-indent: -1em;
! 325: }
! 326:
! 327: span#caret {
! 328: position: absolute;
! 329: width: 1em;
! 330: height: 1em;
! 331: border-left: 2px solid #555;
! 332: pointer-events: none;
! 333: cursor: text;
! 334: z-index: 5;
! 335: }
! 336:
! 337: span#caret.horizontal {
! 338: border-top: 2px solid #555;
! 339: border-left: none;
! 340: }
! 341:
! 342: .dn {
! 343: word-wrap: break-word;
! 344: white-space: pre-wrap;
! 345: }
! 346:
! 347: div.indent {
! 348: margin-left: 1.5em;
! 349: }
! 350:
! 351: /* Tag */
! 352: span.empty_tag, span.start_tag, span.end_tag, span.simple_type {
! 353: font-family: sans-serif;
! 354: font-weight: normal;
! 355: font-style: normal;
! 356: font-size: 85%;
! 357: text-align: left;
! 358: color: #000000;
! 359: background-color: #FFFFB0;
! 360: border: 1px solid #707070;
! 361: margin-left: 2px;
! 362: margin-right: 2px;
! 363: padding-top: 1px;
! 364: padding-bottom: 1px;
! 365: -webkit-touch-callout: none;
! 366: -webkit-user-select: none;
! 367: -khtml-user-select: none;
! 368: -moz-user-select: none;
! 369: -ms-user-select: none;
! 370: user-select: none;
! 371: box-shadow: 1px 1px 1px #A0A0A0;
! 372: cursor: default;
! 373: }
! 374:
! 375: span.empty_tag {
! 376: padding-left: 2px;
! 377: padding-right: 2px;
! 378: }
! 379:
! 380: span.start_tag {
! 381: border-top-right-radius: 0.6em;
! 382: border-bottom-right-radius: 0.6em;
! 383: padding-left: 2px;
! 384: padding-right: 0.5em;
! 385: }
! 386:
! 387: span.end_tag {
! 388: border-top-left-radius: 0.6em;
! 389: border-bottom-left-radius: 0.6em;
! 390: padding-left: 0.5em;
! 391: padding-right: 2px;
! 392: }
! 393:
! 394: .selected span.empty_tag, .selected span.start_tag, .selected span.end_tag, span.selected.simple_type,
! 395: .selected span.simple_type {
! 396: background-color: #F05030;
! 397: color: #FFFFFF;
! 398: }
! 399: .invalid.selected>span.empty_tag, .invalid.selected>span.start_tag, .invalid.selected>span.end_tag,
! 400: .selected .invalid>span.empty_tag, .selected .invalid>span.start_tag, .selected .invalid>span.end_tag {
! 401: background-color: #F07030;
! 402: }
! 403:
! 404: .selected {
! 405: background-color: #50A0FF;
! 406: color: #FFFFFF;
! 407: }
! 408:
! 409: .invalid>span.empty_tag, .invalid>span.start_tag, .invalid>span.end_tag {
! 410: background-color: #FFE0A0;
! 411: }
! 412:
! 413: span.start_tag img, span.empty_tag img {
! 414: vertical-align: middle;
! 415: }
! 416: span.start_tag img:hover, span.empty_tag img:hover {
! 417: background-color: #F0F0B0;
! 418: }
! 419: .selected span.empty_tag img:hover, .selected span.start_tag img:hover,
! 420: .selected span.end_tag img:hover, span.selected.simple_type img:hover {
! 421: background-color: #F07050;
! 422: }
! 423:
! 424: span.long {
! 425: display: inline-block;
! 426: width: 90%;
! 427: line-height: 1.2em;
! 428: }
! 429:
! 430: span.attribute_name {
! 431: color: #000090;
! 432: }
! 433:
! 434: span.attribute_value {
! 435: color: #005000;
! 436: }
! 437:
! 438: /* dialogs */
! 439: div.dlg1 {
! 440: position: absolute;
! 441: left: 0px;
! 442: top: 0px;
! 443: width: 100%;
! 444: height: 100%;
! 445: z-index: 10;
! 446: background-color:rgba(127, 127, 127, 0.5);
! 447: }
! 448:
! 449: div.dlg2 {
! 450: position: absolute;
! 451: left: 50%;
! 452: height: 100%;
! 453: }
! 454:
! 455: div.dlg3 {
! 456: position: relative;
! 457: left: -50%;
! 458: top: 1em;
! 459: max-height: 90%;
! 460: min-width: 250px;
! 461: overflow: auto;
! 462: padding: 1em;
! 463: background-color: #FFFFFF;
! 464: border: solid 1px #202020;
! 465: box-shadow: 2px 2px 2px #A0A0A0;
! 466: }
! 467:
! 468: div.dlgtitle {
! 469: text-align: center;
! 470: font-family: sans-serif;
! 471: font-size: 120%;
! 472: margin-bottom: 1em;
! 473: }
! 474:
! 475: div.buttons {
! 476: text-align: right;
! 477: }
! 478:
! 479: div.buttons button {
! 480: margin: 5px;
! 481: }
! 482:
! 483: input.valid {
! 484: color: #006000;
! 485: }
! 486:
! 487: input.invalid {
! 488: color: #F00000;
! 489: }
! 490:
! 491: input:-webkit-autofill {
! 492: -webkit-box-shadow: 0 0 0px 1000px white inset;
! 493: -webkit-text-fill-color: #006000;
! 494: }
! 495:
! 496: .required {
! 497: color: #B00000;
! 498: }
! 499:
! 500: .optional {
! 501: color: #005000;
! 502: }
! 503:
! 504: /* help */
! 505: button.help {
! 506: line-height: 1em;
! 507: font-size: 80%;
! 508: padding: 2px;
! 509: margin-right: 7px;
! 510: }
! 511:
! 512: div.dlg3 table {
! 513: border-spacing: 5px;
! 514: }
! 515:
! 516: span.help_element_name {
! 517: font-family: monospace;
! 518: }
! 519:
! 520: div.help_regexp {
! 521: font-family: monospace;
! 522: margin-bottom: 1em;
! 523: word-break: break-all;
! 524: }
! 525:
! 526: span.help_list_title {
! 527: position: relative;
! 528: margin-right: 2px;
! 529: border-top: 1px solid #505050;
! 530: border-left: 1px solid #505050;
! 531: border-right: 1px solid #505050;
! 532: padding-left: 4px;
! 533: padding-right: 4px;
! 534: padding-top: 2px;
! 535: padding-bottom: 2px;
! 536: background-color: #F0F0F0;
! 537: border-top-left-radius: 0.4em;
! 538: border-top-right-radius: 0.4em;
! 539: cursor: default;
! 540: }
! 541:
! 542: span.help_list_title.selected_tab {
! 543: top: 3px;
! 544: z-index: 3;
! 545: }
! 546:
! 547: div.help_list_div {
! 548: height: 15em;
! 549: overflow: auto;
! 550: border: 1px solid #505050;
! 551: background-color: #F0F0F0;
! 552: }
! 553:
! 554: ul#help_list {
! 555: margin-top: 0px;
! 556: }
! 557:
! 558: li.help_selectable:hover {
! 559: cursor: default;
! 560: color: #30A0F0;
! 561: }
! 562:
! 563: /* find */
! 564: div.find {
! 565: position: absolute;
! 566: bottom: 1.5em;
! 567: left: 15em;
! 568: right: 0em;
! 569: height: 9em;
! 570: overflow: auto;
! 571: background-color: #FFFFFF;
! 572: color: #000000;
! 573: border: 1px solid #505050;
! 574: }
! 575:
! 576: div.options label {
! 577: margin-right: 1em;
! 578: }
! 579:
! 580: /* source */
! 581: div.source_window {
! 582: position: absolute;
! 583: z-index: 5;
! 584: left: 1em;
! 585: top: 2.5em;
! 586: right: 1em;
! 587: bottom: 1em;
! 588: overflow: auto;
! 589: background-color: #FFFFFF;
! 590: border: solid 1px #202020;
! 591: box-shadow: 2px 2px 2px #A0A0A0;
! 592: }
! 593:
! 594: div.source_content {
! 595: position: absolute;
! 596: z-index: 10;
! 597: left: 1em;
! 598: top: 1em;
! 599: right: 1em;
! 600: bottom: 3em;
! 601: overflow: auto;
! 602: font-family: monospace;
! 603: word-wrap: break-word;
! 604: white-space: pre-wrap;
! 605: background-color: #FFFFFF;
! 606: border: solid 1px #A0A0A0;
! 607: }
! 608:
! 609: div.source_bottom {
! 610: position: absolute;
! 611: z-index: 10;
! 612: left: 1em;
! 613: right: 1em;
! 614: bottom: 0em;
! 615: height: 2em;
! 616: text-align: center;
! 617: background-color: #FFFFFF;
! 618: }
! 619:
! 620: span.source_element_name {
! 621: color: #A00000;
! 622: }
! 623:
! 624: span.source_attribute_name {
! 625: color: #0000A0;
! 626: }
! 627:
! 628: span.source_attribute_value {
! 629: color: #006400;
! 630: }
! 631:
! 632: span.source_entity {
! 633: color: #006464;
! 634: }
! 635:
! 636: span.source_comment {
! 637: color: #505050;
! 638: }
! 639:
! 640: span.source_cdata {
! 641: color: #503000;
! 642: }
! 643:
! 644: span.source_pi {
! 645: color: #640064;
! 646: }
! 647:
! 648: span.source_doctype {
! 649: color: #646400;
! 650: }
! 651:
! 652: /* selection */
! 653: .selection {
! 654: background-color: #50A0FF;
! 655: color: #FFFFFF;
! 656: }
! 657:
! 658: /* DNAnchor */
! 659: .anchor {
! 660: text-decoration: underline;
! 661: color: #0000EE;
! 662: }
! 663: .anchor img {
! 664: cursor: default;
! 665: }
! 666:
! 667: /* DNHiddenP */
! 668: .hiddenp {
! 669: position: relative;
! 670: min-height: 1.5em;
! 671: }
! 672: .hiddenp::after {
! 673: position: absolute;
! 674: right: 1px;
! 675: bottom: 1px;
! 676: content: " ¶";
! 677: color: #CCC;
! 678: z-index: -1;
! 679: }
! 680:
! 681: /* DNList */
! 682: ul.list {
! 683: list-style: none;
! 684: min-height: 1em;
! 685: margin-top: 0em;
! 686: margin-bottom: 0em;
! 687: margin-left: 0em;
! 688: padding-left: 1.5em;
! 689: }
! 690:
! 691: img.bullet {
! 692: cursor: default;
! 693: }
! 694:
! 695: /* DNWList */
! 696: ul.wlist>li.selected {
! 697: color: inherit;
! 698: }
! 699: ul.wlist>li.selected span {
! 700: color: #FFFFFF;
! 701: }
! 702:
! 703: /* DNTable */
! 704: div.table>table {
! 705: width: 100%;
! 706: border-collapse: collapse;
! 707: border: 1px solid #000000;
! 708: border-spacing: 0px;
! 709: box-shadow: 2px 2px 2px #A0A0A0;
! 710: margin-bottom: 2px;
! 711: }
! 712:
! 713: div.table>table>tr>td {
! 714: min-width: 2em;
! 715: border: 1px solid #000000;
! 716: word-break: break-all;
! 717: padding: 2px;
! 718: }
! 719:
! 720: form.table_buttons {
! 721: padding: 1px;
! 722: background-color: #E0E0E0;
! 723: border-top: 1px solid #000000;
! 724: border-left: 1px solid #000000;
! 725: border-right: 1px solid #000000;
! 726: box-shadow: 2px 0px 2px #A0A0A0;
! 727: font-family: sans-serif;
! 728: font-weight: normal;
! 729: font-style: normal;
! 730: font-size: medium;
! 731: text-align: left;
! 732: color: black;
! 733: }
! 734:
! 735: td.header {
! 736: font-weight: bold;
! 737: }
! 738:
! 739: /* DNFile */
! 740: img.dn {
! 741: cursor: default;
! 742: }
! 743:
! 744: img.dn.selected, .selected img.dn {
! 745: opacity: 0.7;
! 746: }
! 747:
! 748: /* DNSpecial */
! 749: span.special {
! 750: font-family: STIXSubset-Regular;
! 751: }
! 752:
! 753: table.special_dlg {
! 754: font-family: STIXSubset-Regular;
! 755: cursor: default;
! 756: }
! 757:
! 758: /* DNForm */
! 759: td.shrink {
! 760: white-space: nowrap;
! 761: }
! 762: .expand {
! 763: width: 99%;
! 764: }
! 765: span.form_title {
! 766: position: relative;
! 767: top: 3px;
! 768: border-top: 1px solid #505050;
! 769: border-left: 1px solid #505050;
! 770: border-right: 1px solid #505050;
! 771: padding-left: 4px;
! 772: padding-right: 4px;
! 773: padding-top: 2px;
! 774: padding-bottom: 2px;
! 775: background-color: #F0F0F0;
! 776: border-top-left-radius: 0.4em;
! 777: border-top-right-radius: 0.4em;
! 778: }
! 779:
! 780: .selected span.form_title {
! 781: background-color: #50A0FF;
! 782: }
! 783:
! 784: div.form {
! 785: font-family: sans-serif;
! 786: font-weight: normal;
! 787: font-style: normal;
! 788: font-size: medium;
! 789: text-align: left;
! 790: color: black;
! 791: }
! 792:
! 793: div.form table {
! 794: border: 1px solid #505050;
! 795: border-spacing: 0px;
! 796: box-shadow: 2px 2px 2px #A0A0A0;
! 797: margin-bottom: 2px;
! 798: background-color: #F5F5F5;
! 799: border-top-right-radius: 0.4em;
! 800: border-bottom-right-radius: 0.4em;
! 801: border-bottom-left-radius: 0.4em;
! 802: }
! 803:
! 804: .selected div.form table, div.form.selected table {
! 805: background-color: #50A0FF;
! 806: }
! 807:
! 808: div.form td {
! 809: padding-left: 3px;
! 810: padding-right: 3px;
! 811: }
! 812:
! 813: /* DNFormField */
! 814: .form_field {
! 815: width: 100%;
! 816: min-height: 1em;
! 817: background-color: white;
! 818: border-top: 2px solid #A0A0A0;
! 819: border-left: 2px solid #A0A0A0;
! 820: border-right: 2px solid #F5F5F5;
! 821: border-bottom: 2px solid #F5F5F5;
! 822: }
! 823:
! 824:
! 825: select.invalid {
! 826: border: 1px solid #F00000;
! 827: }
! 828:
! 829: /* DNSimpleType */
! 830: span.simple_type {
! 831: padding: 3px;
! 832: }
! 833:
! 834: /* Fonts for symbols and equations */
! 835:
! 836: @font-face {
! 837: font-family: 'STIXSubset-Regular';
! 838: src: url('fonts/STIXSubset-Regular.eot');
! 839: src: local('STIXSubset-Regular'), url('fonts/STIXSubset-Regular.ttf') format('truetype');
! 840: }
! 841:
! 842: @font-face {
! 843: font-family: 'STIXSubset-Bold';
! 844: src: url('fonts/STIXSubset-Bold.eot');
! 845: src: local('STIXSubset-Bold'), url('fonts/STIXSubset-Bold.ttf') format('truetype');
! 846: }
! 847:
! 848: @font-face {
! 849: font-family: 'STIXSubset-Italic';
! 850: src: url('fonts/STIXSubset-Italic.eot');
! 851: src: local('STIXSubset-Italic'), url('fonts/STIXSubset-Italic.ttf') format('truetype');
! 852: }
! 853:
! 854: span.symbol {
! 855: font-family: STIXSubset-Regular, "Times New Roman", Times, serif;
! 856: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>