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

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

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