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

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: 
1.18      damieng    42: .dnblock .lcd-advanced {
1.1       damieng    43:   float: right;
                     44: }
                     45: 
                     46: .tex {
                     47:   cursor: default;
                     48: }
                     49: 
                     50: .hr {
                     51:   cursor: default;
                     52:   margin: 0px;
                     53:   padding-top: 0.5em;
                     54:   padding-bottom: 0.5em;
                     55: }
                     56: 
                     57: input.math {
                     58:   font-family: monospace;
                     59: }
                     60: 
1.10      damieng    61: .script-text {
1.1       damieng    62:   visibility: hidden;
1.10      damieng    63:   padding-left: 1em;
1.11      damieng    64:   font-family: monospace;
1.1       damieng    65: }
                     66: 
1.10      damieng    67: .script-text .selection, .script-text .selected {
1.1       damieng    68:   visibility: visible;
                     69: }
                     70: 
1.10      damieng    71: .selected .script-text {
1.1       damieng    72:   visibility: visible;
                     73: }
                     74: 
1.10      damieng    75: .script-colored {
1.1       damieng    76:   z-index: -1;
1.10      damieng    77:   position: absolute;
                     78:   top: 0px;
                     79:   left: 0px;
                     80:   right: 0px;
                     81:   padding-left: 1em;
1.1       damieng    82:   visibility: visible;
                     83:   font-family: monospace;
                     84: }
                     85: 
1.10      damieng    86: .script-colored .keyword {
1.1       damieng    87:   font-weight: bold;
                     88: }
1.10      damieng    89: .script-colored .string {
1.1       damieng    90:   color: #050;
                     91: }
1.10      damieng    92: .script-colored .comment {
1.1       damieng    93:   color: #666;
                     94: }
1.10      damieng    95: .script-colored .variable {
1.1       damieng    96:   color: #049;
                     97: }
1.10      damieng    98: .script-colored .number {
1.1       damieng    99:   color: #640;
                    100: }
1.10      damieng   101: .script-colored .function-call {
1.1       damieng   102:   color: #705;
                    103: }
                    104: 
1.17      damieng   105: .script-line-number-position {
                    106:   position: relative;
                    107: }
                    108: 
                    109: .script-line_number {
                    110:   position: absolute;
1.10      damieng   111:   z-index: 1;
1.17      damieng   112:   left: -2em;
                    113:   top: 0;
1.10      damieng   114:   font-family: monospace;
                    115:   color: #CCC;
                    116: }
                    117: 
1.1       damieng   118: .radio-foilgroup {
                    119:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    120:   margin-bottom: 1em;
                    121: }
                    122: 
                    123: .radio-foilgroup>table {
                    124:   padding-right: 1em;
                    125: }
                    126: 
                    127: .radio-foilgroup>table>tr>td:first-child {
                    128:   vertical-align: middle;
                    129: }
                    130: 
1.2       damieng   131: .radio-foilgroup>table>tr>td:nth-child(3) {
1.1       damieng   132:   min-width: 5em;
                    133: }
                    134: 
                    135: .radio-foilgroup>table>tr>td {
                    136:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    137: }
                    138: 
                    139: .radio-foilgroup>table>tr:hover .delete-icon {
                    140:   visibility: visible;
                    141: }
                    142: 
                    143: .radio-foilgroup>table>tr>td {
                    144:   border-top: 1px solid #FFF;
                    145:   border-bottom: 1px solid #FFF;
                    146: }
                    147: 
                    148: .radio-foilgroup>table>tr.dragbefore>td {
                    149:   border-top: 1px dashed #000;
                    150: }
                    151: 
                    152: .radio-foilgroup>table>tr.dragafter>td {
                    153:   border-bottom: 1px dashed #000;
                    154: }
                    155: 
1.19    ! damieng   156: input[type="radio"] {
        !           157:   cursor: default;
        !           158: }
        !           159: 
1.1       damieng   160: .grip-icon {
                    161:   vertical-align: middle;
                    162:   padding-right: 6px;
                    163:   padding-left: 4px;
                    164:   cursor: move;
                    165: }
                    166: 
                    167: .optionresponse-options {
                    168:   margin-bottom: 1em;
                    169: }
                    170: 
                    171: .option-list {
                    172:   list-style: none;
                    173:   margin-top: 0.5em;
                    174:   margin-bottom: 0.5em;
                    175:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    176:   cursor: default;
                    177:   margin-left: 0;
1.16      damieng   178:   padding-left: 0;
1.1       damieng   179: }
                    180: 
                    181: .option-list>li {
                    182:   border-top: 1px solid #FFF;
                    183:   border-bottom: 1px solid #FFF;
                    184: }
                    185: 
                    186: .option-list>li.dragbefore {
                    187:   border-top: 1px dashed #000;
                    188: }
                    189: 
                    190: .option-list>li.dragafter {
                    191:   border-bottom: 1px dashed #000;
                    192: }
                    193: 
                    194: .delete-icon {
                    195:   visibility: hidden;
                    196:   cursor: default;
                    197: }
                    198: 
                    199: .option-list>li:hover .delete-icon {
                    200:   visibility: visible;
                    201: }
                    202: 
                    203: .optionresponse-foilgroup {
                    204:   margin-bottom: 1em;
                    205:   white-space: normal;
                    206: }
                    207: 
                    208: .optionresponse-foilgroup>table>tr>td:first-child {
                    209:   vertical-align: middle;
                    210: }
                    211: 
                    212: .optionresponse-foilgroup>table>tr>td:nth-child(2) {
                    213:   min-width: 5em;
1.13      damieng   214:   border-bottom: 1px solid #DDD;
                    215:   border-right: 1px solid #DDD;
1.1       damieng   216: }
                    217: 
                    218: .optionresponse-foilgroup>table>tr>td {
                    219:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    220: }
                    221: 
                    222: .optionresponse-foilgroup>table>tr:hover .delete-icon {
                    223:   visibility: visible;
                    224: }
                    225: 
                    226: .optionresponse-foilgroup>table>tr>td {
                    227:   border-top: 1px solid #FFF;
                    228:   border-bottom: 1px solid #FFF;
                    229: }
                    230: 
                    231: .optionresponse-foilgroup>table>tr.dragbefore>td {
                    232:   border-top: 1px dashed #000;
                    233: }
                    234: 
                    235: .optionresponse-foilgroup>table>tr.dragafter>td {
                    236:   border-bottom: 1px dashed #000;
                    237: }
                    238: 
1.19    ! damieng   239: input[type="checkbox"] {
        !           240:   cursor: default;
        !           241: }
        !           242: 
1.3       damieng   243: .matchresponse-foilgroup {
                    244:   margin-bottom: 1em;
                    245:   white-space: normal;
                    246: }
                    247: 
                    248: .matchresponse-foilgroup>table>tr>td:first-child {
                    249:   vertical-align: middle;
                    250: }
                    251: 
                    252: .matchresponse-foilgroup>table>tr>td:nth-child(2) {
                    253:   min-width: 5em;
                    254: }
                    255: 
                    256: .matchresponse-foilgroup>table>tr>td {
                    257:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    258: }
                    259: 
                    260: .matchresponse-foilgroup>table>tr:hover .delete-icon {
                    261:   visibility: visible;
                    262: }
                    263: 
                    264: .matchresponse-foilgroup>table>tr>td {
                    265:   border-top: 1px solid #FFF;
                    266:   border-bottom: 1px solid #FFF;
                    267: }
                    268: 
                    269: .matchresponse-foilgroup>table>tr.dragbefore>td {
                    270:   border-top: 1px dashed #000;
                    271: }
                    272: 
                    273: .matchresponse-foilgroup>table>tr.dragafter>td {
                    274:   border-bottom: 1px dashed #000;
                    275: }
                    276: 
                    277: .itemgroup {
                    278:   margin-bottom: 1em;
                    279:   white-space: normal;
                    280: }
                    281: 
                    282: .itemgroup>table>tr>td:first-child {
                    283:   vertical-align: middle;
                    284: }
                    285: 
                    286: .itemgroup>table>tr>td:nth-child(2) {
                    287:   min-width: 5em;
                    288: }
                    289: 
                    290: .itemgroup>table>tr>td {
                    291:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    292: }
                    293: 
                    294: .itemgroup>table>tr:hover .delete-icon {
                    295:   visibility: visible;
                    296: }
                    297: 
                    298: .itemgroup>table>tr>td {
                    299:   border-top: 1px solid #FFF;
                    300:   border-bottom: 1px solid #FFF;
                    301: }
                    302: 
                    303: .itemgroup>table>tr.dragbefore>td {
                    304:   border-top: 1px dashed #000;
                    305: }
                    306: 
                    307: .itemgroup>table>tr.dragafter>td {
                    308:   border-bottom: 1px dashed #000;
                    309: }
                    310: 
1.1       damieng   311: .rank-foilgroup {
                    312:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    313:   margin-bottom: 1em;
                    314: }
                    315: 
                    316: .rank-foilgroup>table {
                    317:   padding-right: 1em;
                    318: }
                    319: 
                    320: .rank-foilgroup>table>tr>td:first-child {
                    321:   vertical-align: middle;
                    322: }
                    323: 
                    324: .rank-foilgroup>table>tr>td:nth-child(2) {
                    325:   min-width: 5em;
                    326: }
                    327: 
                    328: .rank-foilgroup>table>tr>td {
                    329:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    330: }
                    331: 
                    332: .rank-foilgroup>table>tr:hover .delete-icon {
                    333:   visibility: visible;
                    334: }
                    335: 
                    336: .rank-foilgroup>table>tr>td {
                    337:   border-top: 1px solid #FFF;
                    338:   border-bottom: 1px solid #FFF;
                    339: }
                    340: 
                    341: .rank-foilgroup>table>tr.dragbefore>td {
                    342:   border-top: 1px dashed #000;
                    343: }
                    344: 
                    345: .rank-foilgroup>table>tr.dragafter>td {
                    346:   border-bottom: 1px dashed #000;
                    347: }
                    348: 
                    349: .rank-number {
                    350:   border: 1px solid #555;
                    351:   padding: 1px;
                    352:   margin: 1px;
                    353: }
1.4       damieng   354: 
                    355: table.hintgroup {
                    356:   width: 100%;
                    357: }
                    358: 
                    359: table.hintgroup>tr>td:first-child {
                    360:   width: 1%;
                    361:   white-space: nowrap;
                    362:   font-style: italic;
                    363:   padding-right: 1em;
                    364: }
                    365: 
                    366: table.math-answer {
                    367:   width: 100%;
                    368: }
                    369: 
                    370: table.math-answer>tr>td:first-child {
                    371:   width: 1%;
                    372:   white-space: nowrap;
                    373:   font-style: italic;
                    374:   padding-right: 1em;
                    375: }
                    376: 
                    377: table.math-answer>tr>td:nth-child(2) {
                    378:   font-family: monospace;
                    379: }
1.6       damieng   380: 
                    381: div.section {
                    382:   padding-top: 5px;
                    383:   padding-left: 5px;
                    384:   padding-right: 5px;
                    385:   margin-top: 8px;
                    386:   margin-bottom: 8px;
1.7       damieng   387:   border: 1px solid #2A4;
1.6       damieng   388:   border-radius: 5px;
                    389:   box-shadow: 0px 1px 1px #BBB;
                    390: }
                    391: 
                    392: div.section-title {
                    393:   font-weight: bold;
1.7       damieng   394: }
                    395: 
                    396: div.section-title>img {
                    397:   vertical-align: middle;
                    398:   padding-right: 0.5em;
1.8       damieng   399:   cursor: default;
1.7       damieng   400: }
                    401: 
                    402: div.section-title>select {
                    403:   margin-right: 0.5em;
1.6       damieng   404: }

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