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

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

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