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

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.10      damieng   232: .script-lines {
                    233:   z-index: 1;
                    234:   position: absolute;
                    235:   top: 0px;
1.16    ! damieng   236:   left: -1.1em;
1.10      damieng   237:   right: 0px;
                    238:   visibility: visible;
                    239:   font-family: monospace;
                    240:   color: #CCC;
                    241: }
                    242: 
1.1       damieng   243: .radio-foilgroup {
                    244:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    245:   margin-bottom: 1em;
                    246: }
                    247: 
                    248: .radio-foilgroup>table {
                    249:   padding-right: 1em;
                    250: }
                    251: 
                    252: .radio-foilgroup>table>tr>td:first-child {
                    253:   vertical-align: middle;
                    254: }
                    255: 
1.2       damieng   256: .radio-foilgroup>table>tr>td:nth-child(3) {
1.1       damieng   257:   min-width: 5em;
                    258: }
                    259: 
                    260: .radio-foilgroup>table>tr>td {
                    261:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    262: }
                    263: 
                    264: .radio-foilgroup>table>tr:hover .delete-icon {
                    265:   visibility: visible;
                    266: }
                    267: 
                    268: .radio-foilgroup>table>tr>td {
                    269:   border-top: 1px solid #FFF;
                    270:   border-bottom: 1px solid #FFF;
                    271: }
                    272: 
                    273: .radio-foilgroup>table>tr.dragbefore>td {
                    274:   border-top: 1px dashed #000;
                    275: }
                    276: 
                    277: .radio-foilgroup>table>tr.dragafter>td {
                    278:   border-bottom: 1px dashed #000;
                    279: }
                    280: 
                    281: .grip-icon {
                    282:   vertical-align: middle;
                    283:   padding-right: 6px;
                    284:   padding-left: 4px;
                    285:   cursor: move;
                    286: }
                    287: 
                    288: .optionresponse-options {
                    289:   margin-bottom: 1em;
                    290: }
                    291: 
                    292: .option-list {
                    293:   list-style: none;
                    294:   margin-top: 0.5em;
                    295:   margin-bottom: 0.5em;
                    296:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    297:   cursor: default;
                    298:   margin-left: 0;
1.16    ! damieng   299:   padding-left: 0;
1.1       damieng   300: }
                    301: 
                    302: .option-list>li {
                    303:   border-top: 1px solid #FFF;
                    304:   border-bottom: 1px solid #FFF;
                    305: }
                    306: 
                    307: .option-list>li.dragbefore {
                    308:   border-top: 1px dashed #000;
                    309: }
                    310: 
                    311: .option-list>li.dragafter {
                    312:   border-bottom: 1px dashed #000;
                    313: }
                    314: 
                    315: .delete-icon {
                    316:   visibility: hidden;
                    317:   cursor: default;
                    318: }
                    319: 
                    320: .option-list>li:hover .delete-icon {
                    321:   visibility: visible;
                    322: }
                    323: 
                    324: .optionresponse-foilgroup {
                    325:   margin-bottom: 1em;
                    326:   white-space: normal;
                    327: }
                    328: 
                    329: .optionresponse-foilgroup>table>tr>td:first-child {
                    330:   vertical-align: middle;
                    331: }
                    332: 
                    333: .optionresponse-foilgroup>table>tr>td:nth-child(2) {
                    334:   min-width: 5em;
1.13      damieng   335:   border-bottom: 1px solid #DDD;
                    336:   border-right: 1px solid #DDD;
1.1       damieng   337: }
                    338: 
                    339: .optionresponse-foilgroup>table>tr>td {
                    340:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    341: }
                    342: 
                    343: .optionresponse-foilgroup>table>tr:hover .delete-icon {
                    344:   visibility: visible;
                    345: }
                    346: 
                    347: .optionresponse-foilgroup>table>tr>td {
                    348:   border-top: 1px solid #FFF;
                    349:   border-bottom: 1px solid #FFF;
                    350: }
                    351: 
                    352: .optionresponse-foilgroup>table>tr.dragbefore>td {
                    353:   border-top: 1px dashed #000;
                    354: }
                    355: 
                    356: .optionresponse-foilgroup>table>tr.dragafter>td {
                    357:   border-bottom: 1px dashed #000;
                    358: }
                    359: 
1.3       damieng   360: .matchresponse-foilgroup {
                    361:   margin-bottom: 1em;
                    362:   white-space: normal;
                    363: }
                    364: 
                    365: .matchresponse-foilgroup>table>tr>td:first-child {
                    366:   vertical-align: middle;
                    367: }
                    368: 
                    369: .matchresponse-foilgroup>table>tr>td:nth-child(2) {
                    370:   min-width: 5em;
                    371: }
                    372: 
                    373: .matchresponse-foilgroup>table>tr>td {
                    374:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    375: }
                    376: 
                    377: .matchresponse-foilgroup>table>tr:hover .delete-icon {
                    378:   visibility: visible;
                    379: }
                    380: 
                    381: .matchresponse-foilgroup>table>tr>td {
                    382:   border-top: 1px solid #FFF;
                    383:   border-bottom: 1px solid #FFF;
                    384: }
                    385: 
                    386: .matchresponse-foilgroup>table>tr.dragbefore>td {
                    387:   border-top: 1px dashed #000;
                    388: }
                    389: 
                    390: .matchresponse-foilgroup>table>tr.dragafter>td {
                    391:   border-bottom: 1px dashed #000;
                    392: }
                    393: 
                    394: .itemgroup {
                    395:   margin-bottom: 1em;
                    396:   white-space: normal;
                    397: }
                    398: 
                    399: .itemgroup>table>tr>td:first-child {
                    400:   vertical-align: middle;
                    401: }
                    402: 
                    403: .itemgroup>table>tr>td:nth-child(2) {
                    404:   min-width: 5em;
                    405: }
                    406: 
                    407: .itemgroup>table>tr>td {
                    408:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    409: }
                    410: 
                    411: .itemgroup>table>tr:hover .delete-icon {
                    412:   visibility: visible;
                    413: }
                    414: 
                    415: .itemgroup>table>tr>td {
                    416:   border-top: 1px solid #FFF;
                    417:   border-bottom: 1px solid #FFF;
                    418: }
                    419: 
                    420: .itemgroup>table>tr.dragbefore>td {
                    421:   border-top: 1px dashed #000;
                    422: }
                    423: 
                    424: .itemgroup>table>tr.dragafter>td {
                    425:   border-bottom: 1px dashed #000;
                    426: }
                    427: 
1.1       damieng   428: .rank-foilgroup {
                    429:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    430:   margin-bottom: 1em;
                    431: }
                    432: 
                    433: .rank-foilgroup>table {
                    434:   padding-right: 1em;
                    435: }
                    436: 
                    437: .rank-foilgroup>table>tr>td:first-child {
                    438:   vertical-align: middle;
                    439: }
                    440: 
                    441: .rank-foilgroup>table>tr>td:nth-child(2) {
                    442:   min-width: 5em;
                    443: }
                    444: 
                    445: .rank-foilgroup>table>tr>td {
                    446:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    447: }
                    448: 
                    449: .rank-foilgroup>table>tr:hover .delete-icon {
                    450:   visibility: visible;
                    451: }
                    452: 
                    453: .rank-foilgroup>table>tr>td {
                    454:   border-top: 1px solid #FFF;
                    455:   border-bottom: 1px solid #FFF;
                    456: }
                    457: 
                    458: .rank-foilgroup>table>tr.dragbefore>td {
                    459:   border-top: 1px dashed #000;
                    460: }
                    461: 
                    462: .rank-foilgroup>table>tr.dragafter>td {
                    463:   border-bottom: 1px dashed #000;
                    464: }
                    465: 
                    466: .rank-number {
                    467:   border: 1px solid #555;
                    468:   padding: 1px;
                    469:   margin: 1px;
                    470: }
1.4       damieng   471: 
                    472: table.hintgroup {
                    473:   width: 100%;
                    474: }
                    475: 
                    476: table.hintgroup>tr>td:first-child {
                    477:   width: 1%;
                    478:   white-space: nowrap;
                    479:   font-style: italic;
                    480:   padding-right: 1em;
                    481: }
                    482: 
                    483: table.math-answer {
                    484:   width: 100%;
                    485: }
                    486: 
                    487: table.math-answer>tr>td:first-child {
                    488:   width: 1%;
                    489:   white-space: nowrap;
                    490:   font-style: italic;
                    491:   padding-right: 1em;
                    492: }
                    493: 
                    494: table.math-answer>tr>td:nth-child(2) {
                    495:   font-family: monospace;
                    496: }
1.6       damieng   497: 
                    498: div.section {
                    499:   padding-top: 5px;
                    500:   padding-left: 5px;
                    501:   padding-right: 5px;
                    502:   margin-top: 8px;
                    503:   margin-bottom: 8px;
1.7       damieng   504:   border: 1px solid #2A4;
1.6       damieng   505:   border-radius: 5px;
                    506:   box-shadow: 0px 1px 1px #BBB;
                    507: }
                    508: 
                    509: div.section-title {
                    510:   font-weight: bold;
1.7       damieng   511: }
                    512: 
                    513: div.section-title>img {
                    514:   vertical-align: middle;
                    515:   padding-right: 0.5em;
1.8       damieng   516:   cursor: default;
1.7       damieng   517: }
                    518: 
                    519: div.section-title>select {
                    520:   margin-right: 0.5em;
1.6       damieng   521: }

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