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>