Annotation of modules/damieng/graphical_editor/loncapa_daxe/web/loncapa_daxe.css, revision 1.13

1.4       damieng     1: 
                      2: .help_regexp {
                      3:   display: none;
                      4: }
                      5: 
1.1       damieng     6: span.empty_tag, span.start_tag, span.end_tag, span.simple_type {
                      7:   background-color: #F6F6F6;
                      8:   border: 1px solid #808080;
                      9: }
                     10: 
                     11: .lcdblock {
1.12      damieng    12:   clear: both;
1.1       damieng    13:   border-top: 1px solid #AAA;
                     14:   border-left: 1px solid #AAA;
                     15:   border-bottom: 1px solid #AAA;
                     16:   box-shadow: 0px 1px 1px #BBB;
                     17:   border-top-left-radius: 0.4em;
                     18:   border-top-right-radius: 0.4em;
                     19:   border-bottom-left-radius: 0.4em;
                     20: }
                     21: 
1.5       damieng    22: .lcdblock .lcdblock {
                     23:   margin-top: 8px;
                     24:   margin-bottom: 8px;
                     25: }
                     26: 
1.1       damieng    27: .lcdblock.invalid {
                     28:   border-top: 1px solid #F00;
                     29:   border-left: 1px solid #F00;
                     30:   border-bottom: 1px solid #F00;
                     31: }
                     32: 
                     33: .selected .lcdblock-header {
                     34:   background-color: #50A0FF;
                     35: }
                     36: 
                     37: .lcdblock-header {
                     38:   background-color: #F5F5F5;
                     39:   padding: 2px;
                     40:   border-top-left-radius: 0.4em;
                     41:   border-top-right-radius: 0.4em;
                     42:   box-shadow: 0px 1px 2px #AAA;
                     43:   cursor: default;
                     44:   font-family: sans-serif;
                     45:   font-weight: normal;
                     46:   font-style: normal;
                     47:   font-size: medium;
                     48:   color: black;
                     49:   text-align: left;
                     50: }
                     51: 
                     52: .lcdblock-header:after {
                     53:   /* clearfix for floating buttons */
                     54:   /* we can't use overflow:auto because of the parameter template menu which needs to overflow */
                     55:   visibility: hidden;
                     56:   display: block;
                     57:   content: "";
                     58:   clear: both;
                     59:   height: 0;
                     60: }
                     61: 
                     62: .lcdblock-header.without-content-afterwards {
                     63:   border-bottom-left-radius: 0.4em;
                     64: }
                     65: 
                     66: .lcdblock.invalid>.lcdblock-header {
                     67:   background-color: #FFE0B0;
                     68: }
                     69: 
                     70: .lcdblock.invalid.selected>.lcdblock-header {
                     71:   background-color: #50A0FF;
                     72: }
                     73: 
                     74: .selected .lcdblock.invalid>.lcdblock-header {
                     75:   background-color: #50A0FF;
                     76: }
                     77: 
                     78: .lcdblock-title {
                     79:   margin-left: 4px;
                     80:   margin-right: 3px;
                     81:   font-style: italic;
                     82: }
                     83: 
                     84: .lcdblock-attributes {
                     85:   font-size: 90%;
                     86: }
                     87: 
                     88: .lcdblock-content {
                     89:   margin-top: 3px;
                     90: }
                     91: 
                     92: .lcd-button-box {
                     93:   display: inline-block;
                     94:   line-height: 20px;
                     95:   border: 1px solid #AAA;
                     96:   margin: 0.2em;
                     97:   background: #FAFAFA;
                     98:   border-radius: 5px;
                     99:   overflow: hidden;
                    100:   cursor: default;
                    101: }
                    102: 
                    103: .lcdbutton {
                    104:   display: inline-block;
                    105:   line-height: 18px;
                    106:   padding: 3px;
                    107:   cursor: default;
                    108: }
                    109: 
                    110: .lcdbutton-disabled {
                    111:   opacity: 0.3;
                    112: }
                    113: 
                    114: .lcdbutton-selected {
                    115:   background-color: #DDD;
                    116: }
                    117: 
                    118: .lcdbutton:hover {
                    119:   background-color: #EEE;
                    120: }
                    121: 
                    122: .lcdbutton-disabled:hover {
                    123:   background-color: transparent;
                    124: }
                    125: 
                    126: .lcdbutton-disabled:hover {
                    127:   background-color: transparent;
                    128: }
                    129: 
                    130: .lcdbutton img {
                    131:   vertical-align: middle;
                    132: }
                    133: 
                    134: .lcdblock .lcd-button-box {
                    135:   float: right;
                    136: }
                    137: 
                    138: .lcdblock .lcd-advanced {
                    139:   float: right;
                    140: }
                    141: 
                    142: .tex {
                    143:   cursor: default;
                    144: }
                    145: 
                    146: .hr {
                    147:   cursor: default;
                    148:   margin: 0px;
                    149:   padding-top: 0.5em;
                    150:   padding-bottom: 0.5em;
                    151: }
                    152: 
                    153: input.math {
                    154:   font-family: monospace;
                    155: }
                    156: 
1.10      damieng   157: .script-text {
1.1       damieng   158:   visibility: hidden;
1.10      damieng   159:   padding-left: 1em;
1.11      damieng   160:   font-family: monospace;
1.1       damieng   161: }
                    162: 
1.10      damieng   163: .script-text .selection, .script-text .selected {
1.1       damieng   164:   visibility: visible;
                    165: }
                    166: 
1.10      damieng   167: .selected .script-text {
1.1       damieng   168:   visibility: visible;
                    169: }
                    170: 
1.10      damieng   171: .script-colored {
1.1       damieng   172:   z-index: -1;
1.10      damieng   173:   position: absolute;
                    174:   top: 0px;
                    175:   left: 0px;
                    176:   right: 0px;
                    177:   padding-left: 1em;
1.1       damieng   178:   visibility: visible;
                    179:   font-family: monospace;
                    180: }
                    181: 
1.10      damieng   182: .script-colored .keyword {
1.1       damieng   183:   font-weight: bold;
                    184: }
1.10      damieng   185: .script-colored .string {
1.1       damieng   186:   color: #050;
                    187: }
1.10      damieng   188: .script-colored .comment {
1.1       damieng   189:   color: #666;
                    190: }
1.10      damieng   191: .script-colored .variable {
1.1       damieng   192:   color: #049;
                    193: }
1.10      damieng   194: .script-colored .number {
1.1       damieng   195:   color: #640;
                    196: }
1.10      damieng   197: .script-colored .function-call {
1.1       damieng   198:   color: #705;
                    199: }
                    200: 
1.10      damieng   201: .script-lines {
                    202:   z-index: 1;
                    203:   position: absolute;
                    204:   top: 0px;
                    205:   left: -1.3em;
                    206:   right: 0px;
                    207:   visibility: visible;
                    208:   font-family: monospace;
                    209:   color: #CCC;
                    210: }
                    211: 
1.1       damieng   212: .radio-foilgroup {
                    213:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    214:   margin-bottom: 1em;
                    215: }
                    216: 
                    217: .radio-foilgroup>table {
                    218:   padding-left: 1em;
                    219:   padding-right: 1em;
                    220: }
                    221: 
                    222: .radio-foilgroup>table>tr>td:first-child {
                    223:   vertical-align: middle;
                    224: }
                    225: 
1.2       damieng   226: .radio-foilgroup>table>tr>td:nth-child(3) {
1.1       damieng   227:   min-width: 5em;
                    228: }
                    229: 
                    230: .radio-foilgroup>table>tr>td {
                    231:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    232: }
                    233: 
                    234: .radio-foilgroup>table>tr:hover .delete-icon {
                    235:   visibility: visible;
                    236: }
                    237: 
                    238: .radio-foilgroup>table>tr>td {
                    239:   border-top: 1px solid #FFF;
                    240:   border-bottom: 1px solid #FFF;
                    241: }
                    242: 
                    243: .radio-foilgroup>table>tr.dragbefore>td {
                    244:   border-top: 1px dashed #000;
                    245: }
                    246: 
                    247: .radio-foilgroup>table>tr.dragafter>td {
                    248:   border-bottom: 1px dashed #000;
                    249: }
                    250: 
                    251: .grip-icon {
                    252:   vertical-align: middle;
                    253:   padding-right: 6px;
                    254:   padding-left: 4px;
                    255:   cursor: move;
                    256: }
                    257: 
                    258: .optionresponse-options {
                    259:   margin-bottom: 1em;
                    260: }
                    261: 
                    262: .option-list {
                    263:   list-style: none;
                    264:   margin-top: 0.5em;
                    265:   margin-bottom: 0.5em;
                    266:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    267:   cursor: default;
                    268: }
                    269: 
                    270: .option-list {
                    271:   margin-left: 0;
                    272:   padding-left: 1em;
                    273: }
                    274: 
                    275: .option-list>li {
                    276:   border-top: 1px solid #FFF;
                    277:   border-bottom: 1px solid #FFF;
                    278: }
                    279: 
                    280: .option-list>li.dragbefore {
                    281:   border-top: 1px dashed #000;
                    282: }
                    283: 
                    284: .option-list>li.dragafter {
                    285:   border-bottom: 1px dashed #000;
                    286: }
                    287: 
                    288: .delete-icon {
                    289:   visibility: hidden;
                    290:   cursor: default;
                    291: }
                    292: 
                    293: .option-list>li:hover .delete-icon {
                    294:   visibility: visible;
                    295: }
                    296: 
                    297: .optionresponse-foilgroup {
                    298:   margin-bottom: 1em;
                    299:   white-space: normal;
                    300: }
                    301: 
                    302: .optionresponse-foilgroup>table {
                    303:   padding-left: 1em;
                    304: }
                    305: 
                    306: .optionresponse-foilgroup>table>tr>td:first-child {
                    307:   vertical-align: middle;
                    308: }
                    309: 
                    310: .optionresponse-foilgroup>table>tr>td:nth-child(2) {
                    311:   min-width: 5em;
1.13    ! damieng   312:   border-bottom: 1px solid #DDD;
        !           313:   border-right: 1px solid #DDD;
1.1       damieng   314: }
                    315: 
                    316: .optionresponse-foilgroup>table>tr>td {
                    317:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    318: }
                    319: 
                    320: .optionresponse-foilgroup>table>tr:hover .delete-icon {
                    321:   visibility: visible;
                    322: }
                    323: 
                    324: .optionresponse-foilgroup>table>tr>td {
                    325:   border-top: 1px solid #FFF;
                    326:   border-bottom: 1px solid #FFF;
                    327: }
                    328: 
                    329: .optionresponse-foilgroup>table>tr.dragbefore>td {
                    330:   border-top: 1px dashed #000;
                    331: }
                    332: 
                    333: .optionresponse-foilgroup>table>tr.dragafter>td {
                    334:   border-bottom: 1px dashed #000;
                    335: }
                    336: 
1.3       damieng   337: .matchresponse-foilgroup {
                    338:   margin-bottom: 1em;
                    339:   white-space: normal;
                    340: }
                    341: 
                    342: .matchresponse-foilgroup>table {
                    343:   padding-left: 1em;
                    344: }
                    345: 
                    346: .matchresponse-foilgroup>table>tr>td:first-child {
                    347:   vertical-align: middle;
                    348: }
                    349: 
                    350: .matchresponse-foilgroup>table>tr>td:nth-child(2) {
                    351:   min-width: 5em;
                    352: }
                    353: 
                    354: .matchresponse-foilgroup>table>tr>td {
                    355:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    356: }
                    357: 
                    358: .matchresponse-foilgroup>table>tr:hover .delete-icon {
                    359:   visibility: visible;
                    360: }
                    361: 
                    362: .matchresponse-foilgroup>table>tr>td {
                    363:   border-top: 1px solid #FFF;
                    364:   border-bottom: 1px solid #FFF;
                    365: }
                    366: 
                    367: .matchresponse-foilgroup>table>tr.dragbefore>td {
                    368:   border-top: 1px dashed #000;
                    369: }
                    370: 
                    371: .matchresponse-foilgroup>table>tr.dragafter>td {
                    372:   border-bottom: 1px dashed #000;
                    373: }
                    374: 
                    375: .itemgroup {
                    376:   margin-bottom: 1em;
                    377:   white-space: normal;
                    378: }
                    379: 
                    380: .itemgroup>table {
                    381:   padding-left: 1em;
                    382: }
                    383: 
                    384: .itemgroup>table>tr>td:first-child {
                    385:   vertical-align: middle;
                    386: }
                    387: 
                    388: .itemgroup>table>tr>td:nth-child(2) {
                    389:   min-width: 5em;
                    390: }
                    391: 
                    392: .itemgroup>table>tr>td {
                    393:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    394: }
                    395: 
                    396: .itemgroup>table>tr:hover .delete-icon {
                    397:   visibility: visible;
                    398: }
                    399: 
                    400: .itemgroup>table>tr>td {
                    401:   border-top: 1px solid #FFF;
                    402:   border-bottom: 1px solid #FFF;
                    403: }
                    404: 
                    405: .itemgroup>table>tr.dragbefore>td {
                    406:   border-top: 1px dashed #000;
                    407: }
                    408: 
                    409: .itemgroup>table>tr.dragafter>td {
                    410:   border-bottom: 1px dashed #000;
                    411: }
                    412: 
1.1       damieng   413: .rank-foilgroup {
                    414:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    415:   margin-bottom: 1em;
                    416: }
                    417: 
                    418: .rank-foilgroup>table {
                    419:   padding-left: 1em;
                    420:   padding-right: 1em;
                    421: }
                    422: 
                    423: .rank-foilgroup>table>tr>td:first-child {
                    424:   vertical-align: middle;
                    425: }
                    426: 
                    427: .rank-foilgroup>table>tr>td:nth-child(2) {
                    428:   min-width: 5em;
                    429: }
                    430: 
                    431: .rank-foilgroup>table>tr>td {
                    432:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    433: }
                    434: 
                    435: .rank-foilgroup>table>tr:hover .delete-icon {
                    436:   visibility: visible;
                    437: }
                    438: 
                    439: .rank-foilgroup>table>tr>td {
                    440:   border-top: 1px solid #FFF;
                    441:   border-bottom: 1px solid #FFF;
                    442: }
                    443: 
                    444: .rank-foilgroup>table>tr.dragbefore>td {
                    445:   border-top: 1px dashed #000;
                    446: }
                    447: 
                    448: .rank-foilgroup>table>tr.dragafter>td {
                    449:   border-bottom: 1px dashed #000;
                    450: }
                    451: 
                    452: .rank-number {
                    453:   border: 1px solid #555;
                    454:   padding: 1px;
                    455:   margin: 1px;
                    456: }
1.4       damieng   457: 
                    458: table.hintgroup {
                    459:   width: 100%;
                    460: }
                    461: 
                    462: table.hintgroup>tr>td:first-child {
                    463:   width: 1%;
                    464:   white-space: nowrap;
                    465:   font-style: italic;
                    466:   padding-right: 1em;
                    467: }
                    468: 
                    469: table.math-answer {
                    470:   width: 100%;
                    471: }
                    472: 
                    473: table.math-answer>tr>td:first-child {
                    474:   width: 1%;
                    475:   white-space: nowrap;
                    476:   font-style: italic;
                    477:   padding-right: 1em;
                    478: }
                    479: 
                    480: table.math-answer>tr>td:nth-child(2) {
                    481:   font-family: monospace;
                    482: }
1.6       damieng   483: 
                    484: div.section {
                    485:   padding-top: 5px;
                    486:   padding-left: 5px;
                    487:   padding-right: 5px;
                    488:   margin-top: 8px;
                    489:   margin-bottom: 8px;
1.7       damieng   490:   border: 1px solid #2A4;
1.6       damieng   491:   border-radius: 5px;
                    492:   box-shadow: 0px 1px 1px #BBB;
                    493: }
                    494: 
                    495: div.section-title {
                    496:   font-weight: bold;
1.7       damieng   497: }
                    498: 
                    499: div.section-title>img {
                    500:   vertical-align: middle;
                    501:   padding-right: 0.5em;
1.8       damieng   502:   cursor: default;
1.7       damieng   503: }
                    504: 
                    505: div.section-title>select {
                    506:   margin-right: 0.5em;
1.6       damieng   507: }

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>