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

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: 
                    156: .grip-icon {
                    157:   vertical-align: middle;
                    158:   padding-right: 6px;
                    159:   padding-left: 4px;
                    160:   cursor: move;
                    161: }
                    162: 
                    163: .optionresponse-options {
                    164:   margin-bottom: 1em;
                    165: }
                    166: 
                    167: .option-list {
                    168:   list-style: none;
                    169:   margin-top: 0.5em;
                    170:   margin-bottom: 0.5em;
                    171:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    172:   cursor: default;
                    173:   margin-left: 0;
1.16      damieng   174:   padding-left: 0;
1.1       damieng   175: }
                    176: 
                    177: .option-list>li {
                    178:   border-top: 1px solid #FFF;
                    179:   border-bottom: 1px solid #FFF;
                    180: }
                    181: 
                    182: .option-list>li.dragbefore {
                    183:   border-top: 1px dashed #000;
                    184: }
                    185: 
                    186: .option-list>li.dragafter {
                    187:   border-bottom: 1px dashed #000;
                    188: }
                    189: 
                    190: .delete-icon {
                    191:   visibility: hidden;
                    192:   cursor: default;
                    193: }
                    194: 
                    195: .option-list>li:hover .delete-icon {
                    196:   visibility: visible;
                    197: }
                    198: 
                    199: .optionresponse-foilgroup {
                    200:   margin-bottom: 1em;
                    201:   white-space: normal;
                    202: }
                    203: 
                    204: .optionresponse-foilgroup>table>tr>td:first-child {
                    205:   vertical-align: middle;
                    206: }
                    207: 
                    208: .optionresponse-foilgroup>table>tr>td:nth-child(2) {
                    209:   min-width: 5em;
1.13      damieng   210:   border-bottom: 1px solid #DDD;
                    211:   border-right: 1px solid #DDD;
1.1       damieng   212: }
                    213: 
                    214: .optionresponse-foilgroup>table>tr>td {
                    215:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    216: }
                    217: 
                    218: .optionresponse-foilgroup>table>tr:hover .delete-icon {
                    219:   visibility: visible;
                    220: }
                    221: 
                    222: .optionresponse-foilgroup>table>tr>td {
                    223:   border-top: 1px solid #FFF;
                    224:   border-bottom: 1px solid #FFF;
                    225: }
                    226: 
                    227: .optionresponse-foilgroup>table>tr.dragbefore>td {
                    228:   border-top: 1px dashed #000;
                    229: }
                    230: 
                    231: .optionresponse-foilgroup>table>tr.dragafter>td {
                    232:   border-bottom: 1px dashed #000;
                    233: }
                    234: 
1.3       damieng   235: .matchresponse-foilgroup {
                    236:   margin-bottom: 1em;
                    237:   white-space: normal;
                    238: }
                    239: 
                    240: .matchresponse-foilgroup>table>tr>td:first-child {
                    241:   vertical-align: middle;
                    242: }
                    243: 
                    244: .matchresponse-foilgroup>table>tr>td:nth-child(2) {
                    245:   min-width: 5em;
                    246: }
                    247: 
                    248: .matchresponse-foilgroup>table>tr>td {
                    249:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    250: }
                    251: 
                    252: .matchresponse-foilgroup>table>tr:hover .delete-icon {
                    253:   visibility: visible;
                    254: }
                    255: 
                    256: .matchresponse-foilgroup>table>tr>td {
                    257:   border-top: 1px solid #FFF;
                    258:   border-bottom: 1px solid #FFF;
                    259: }
                    260: 
                    261: .matchresponse-foilgroup>table>tr.dragbefore>td {
                    262:   border-top: 1px dashed #000;
                    263: }
                    264: 
                    265: .matchresponse-foilgroup>table>tr.dragafter>td {
                    266:   border-bottom: 1px dashed #000;
                    267: }
                    268: 
                    269: .itemgroup {
                    270:   margin-bottom: 1em;
                    271:   white-space: normal;
                    272: }
                    273: 
                    274: .itemgroup>table>tr>td:first-child {
                    275:   vertical-align: middle;
                    276: }
                    277: 
                    278: .itemgroup>table>tr>td:nth-child(2) {
                    279:   min-width: 5em;
                    280: }
                    281: 
                    282: .itemgroup>table>tr>td {
                    283:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    284: }
                    285: 
                    286: .itemgroup>table>tr:hover .delete-icon {
                    287:   visibility: visible;
                    288: }
                    289: 
                    290: .itemgroup>table>tr>td {
                    291:   border-top: 1px solid #FFF;
                    292:   border-bottom: 1px solid #FFF;
                    293: }
                    294: 
                    295: .itemgroup>table>tr.dragbefore>td {
                    296:   border-top: 1px dashed #000;
                    297: }
                    298: 
                    299: .itemgroup>table>tr.dragafter>td {
                    300:   border-bottom: 1px dashed #000;
                    301: }
                    302: 
1.1       damieng   303: .rank-foilgroup {
                    304:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    305:   margin-bottom: 1em;
                    306: }
                    307: 
                    308: .rank-foilgroup>table {
                    309:   padding-right: 1em;
                    310: }
                    311: 
                    312: .rank-foilgroup>table>tr>td:first-child {
                    313:   vertical-align: middle;
                    314: }
                    315: 
                    316: .rank-foilgroup>table>tr>td:nth-child(2) {
                    317:   min-width: 5em;
                    318: }
                    319: 
                    320: .rank-foilgroup>table>tr>td {
                    321:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    322: }
                    323: 
                    324: .rank-foilgroup>table>tr:hover .delete-icon {
                    325:   visibility: visible;
                    326: }
                    327: 
                    328: .rank-foilgroup>table>tr>td {
                    329:   border-top: 1px solid #FFF;
                    330:   border-bottom: 1px solid #FFF;
                    331: }
                    332: 
                    333: .rank-foilgroup>table>tr.dragbefore>td {
                    334:   border-top: 1px dashed #000;
                    335: }
                    336: 
                    337: .rank-foilgroup>table>tr.dragafter>td {
                    338:   border-bottom: 1px dashed #000;
                    339: }
                    340: 
                    341: .rank-number {
                    342:   border: 1px solid #555;
                    343:   padding: 1px;
                    344:   margin: 1px;
                    345: }
1.4       damieng   346: 
                    347: table.hintgroup {
                    348:   width: 100%;
                    349: }
                    350: 
                    351: table.hintgroup>tr>td:first-child {
                    352:   width: 1%;
                    353:   white-space: nowrap;
                    354:   font-style: italic;
                    355:   padding-right: 1em;
                    356: }
                    357: 
                    358: table.math-answer {
                    359:   width: 100%;
                    360: }
                    361: 
                    362: table.math-answer>tr>td:first-child {
                    363:   width: 1%;
                    364:   white-space: nowrap;
                    365:   font-style: italic;
                    366:   padding-right: 1em;
                    367: }
                    368: 
                    369: table.math-answer>tr>td:nth-child(2) {
                    370:   font-family: monospace;
                    371: }
1.6       damieng   372: 
                    373: div.section {
                    374:   padding-top: 5px;
                    375:   padding-left: 5px;
                    376:   padding-right: 5px;
                    377:   margin-top: 8px;
                    378:   margin-bottom: 8px;
1.7       damieng   379:   border: 1px solid #2A4;
1.6       damieng   380:   border-radius: 5px;
                    381:   box-shadow: 0px 1px 1px #BBB;
                    382: }
                    383: 
                    384: div.section-title {
                    385:   font-weight: bold;
1.7       damieng   386: }
                    387: 
                    388: div.section-title>img {
                    389:   vertical-align: middle;
                    390:   padding-right: 0.5em;
1.8       damieng   391:   cursor: default;
1.7       damieng   392: }
                    393: 
                    394: div.section-title>select {
                    395:   margin-right: 0.5em;
1.6       damieng   396: }

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