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

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.1       damieng   159: }
                    160: 
1.10    ! damieng   161: .script-text .selection, .script-text .selected {
1.1       damieng   162:   visibility: visible;
                    163: }
                    164: 
1.10    ! damieng   165: .selected .script-text {
1.1       damieng   166:   visibility: visible;
                    167: }
                    168: 
1.10    ! damieng   169: .script-colored {
1.1       damieng   170:   z-index: -1;
1.10    ! damieng   171:   position: absolute;
        !           172:   top: 0px;
        !           173:   left: 0px;
        !           174:   right: 0px;
        !           175:   padding-left: 1em;
1.1       damieng   176:   visibility: visible;
                    177:   font-family: monospace;
                    178: }
                    179: 
1.10    ! damieng   180: .script-colored .keyword {
1.1       damieng   181:   font-weight: bold;
                    182: }
1.10    ! damieng   183: .script-colored .string {
1.1       damieng   184:   color: #050;
                    185: }
1.10    ! damieng   186: .script-colored .comment {
1.1       damieng   187:   color: #666;
                    188: }
1.10    ! damieng   189: .script-colored .variable {
1.1       damieng   190:   color: #049;
                    191: }
1.10    ! damieng   192: .script-colored .number {
1.1       damieng   193:   color: #640;
                    194: }
1.10    ! damieng   195: .script-colored .function-call {
1.1       damieng   196:   color: #705;
                    197: }
                    198: 
1.10    ! damieng   199: .script-lines {
        !           200:   z-index: 1;
        !           201:   position: absolute;
        !           202:   top: 0px;
        !           203:   left: -1.3em;
        !           204:   right: 0px;
        !           205:   visibility: visible;
        !           206:   font-family: monospace;
        !           207:   color: #CCC;
        !           208: }
        !           209: 
1.1       damieng   210: .radio-foilgroup {
                    211:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    212:   margin-bottom: 1em;
                    213: }
                    214: 
                    215: .radio-foilgroup>table {
                    216:   padding-left: 1em;
                    217:   padding-right: 1em;
                    218: }
                    219: 
                    220: .radio-foilgroup>table>tr>td:first-child {
                    221:   vertical-align: middle;
                    222: }
                    223: 
1.2       damieng   224: .radio-foilgroup>table>tr>td:nth-child(3) {
1.1       damieng   225:   min-width: 5em;
                    226: }
                    227: 
                    228: .radio-foilgroup>table>tr>td {
                    229:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    230: }
                    231: 
                    232: .radio-foilgroup>table>tr:hover .delete-icon {
                    233:   visibility: visible;
                    234: }
                    235: 
                    236: .radio-foilgroup>table>tr>td {
                    237:   border-top: 1px solid #FFF;
                    238:   border-bottom: 1px solid #FFF;
                    239: }
                    240: 
                    241: .radio-foilgroup>table>tr.dragbefore>td {
                    242:   border-top: 1px dashed #000;
                    243: }
                    244: 
                    245: .radio-foilgroup>table>tr.dragafter>td {
                    246:   border-bottom: 1px dashed #000;
                    247: }
                    248: 
                    249: .grip-icon {
                    250:   vertical-align: middle;
                    251:   padding-right: 6px;
                    252:   padding-left: 4px;
                    253:   cursor: move;
                    254: }
                    255: 
                    256: .optionresponse-options {
                    257:   margin-bottom: 1em;
                    258: }
                    259: 
                    260: .option-list {
                    261:   list-style: none;
                    262:   margin-top: 0.5em;
                    263:   margin-bottom: 0.5em;
                    264:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    265:   cursor: default;
                    266: }
                    267: 
                    268: .option-list {
                    269:   margin-left: 0;
                    270:   padding-left: 1em;
                    271: }
                    272: 
                    273: .option-list>li {
                    274:   border-top: 1px solid #FFF;
                    275:   border-bottom: 1px solid #FFF;
                    276: }
                    277: 
                    278: .option-list>li.dragbefore {
                    279:   border-top: 1px dashed #000;
                    280: }
                    281: 
                    282: .option-list>li.dragafter {
                    283:   border-bottom: 1px dashed #000;
                    284: }
                    285: 
                    286: .delete-icon {
                    287:   visibility: hidden;
                    288:   cursor: default;
                    289: }
                    290: 
                    291: .option-list>li:hover .delete-icon {
                    292:   visibility: visible;
                    293: }
                    294: 
                    295: .optionresponse-foilgroup {
                    296:   margin-bottom: 1em;
                    297:   white-space: normal;
                    298: }
                    299: 
                    300: .optionresponse-foilgroup>table {
                    301:   padding-left: 1em;
                    302: }
                    303: 
                    304: .optionresponse-foilgroup>table>tr>td:first-child {
                    305:   vertical-align: middle;
                    306: }
                    307: 
                    308: .optionresponse-foilgroup>table>tr>td:nth-child(2) {
                    309:   min-width: 5em;
                    310: }
                    311: 
                    312: .optionresponse-foilgroup>table>tr>td {
                    313:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    314: }
                    315: 
                    316: .optionresponse-foilgroup>table>tr:hover .delete-icon {
                    317:   visibility: visible;
                    318: }
                    319: 
                    320: .optionresponse-foilgroup>table>tr>td {
                    321:   border-top: 1px solid #FFF;
                    322:   border-bottom: 1px solid #FFF;
                    323: }
                    324: 
                    325: .optionresponse-foilgroup>table>tr.dragbefore>td {
                    326:   border-top: 1px dashed #000;
                    327: }
                    328: 
                    329: .optionresponse-foilgroup>table>tr.dragafter>td {
                    330:   border-bottom: 1px dashed #000;
                    331: }
                    332: 
1.3       damieng   333: .matchresponse-foilgroup {
                    334:   margin-bottom: 1em;
                    335:   white-space: normal;
                    336: }
                    337: 
                    338: .matchresponse-foilgroup>table {
                    339:   padding-left: 1em;
                    340: }
                    341: 
                    342: .matchresponse-foilgroup>table>tr>td:first-child {
                    343:   vertical-align: middle;
                    344: }
                    345: 
                    346: .matchresponse-foilgroup>table>tr>td:nth-child(2) {
                    347:   min-width: 5em;
                    348: }
                    349: 
                    350: .matchresponse-foilgroup>table>tr>td {
                    351:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    352: }
                    353: 
                    354: .matchresponse-foilgroup>table>tr:hover .delete-icon {
                    355:   visibility: visible;
                    356: }
                    357: 
                    358: .matchresponse-foilgroup>table>tr>td {
                    359:   border-top: 1px solid #FFF;
                    360:   border-bottom: 1px solid #FFF;
                    361: }
                    362: 
                    363: .matchresponse-foilgroup>table>tr.dragbefore>td {
                    364:   border-top: 1px dashed #000;
                    365: }
                    366: 
                    367: .matchresponse-foilgroup>table>tr.dragafter>td {
                    368:   border-bottom: 1px dashed #000;
                    369: }
                    370: 
                    371: .itemgroup {
                    372:   margin-bottom: 1em;
                    373:   white-space: normal;
                    374: }
                    375: 
                    376: .itemgroup>table {
                    377:   padding-left: 1em;
                    378: }
                    379: 
                    380: .itemgroup>table>tr>td:first-child {
                    381:   vertical-align: middle;
                    382: }
                    383: 
                    384: .itemgroup>table>tr>td:nth-child(2) {
                    385:   min-width: 5em;
                    386: }
                    387: 
                    388: .itemgroup>table>tr>td {
                    389:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    390: }
                    391: 
                    392: .itemgroup>table>tr:hover .delete-icon {
                    393:   visibility: visible;
                    394: }
                    395: 
                    396: .itemgroup>table>tr>td {
                    397:   border-top: 1px solid #FFF;
                    398:   border-bottom: 1px solid #FFF;
                    399: }
                    400: 
                    401: .itemgroup>table>tr.dragbefore>td {
                    402:   border-top: 1px dashed #000;
                    403: }
                    404: 
                    405: .itemgroup>table>tr.dragafter>td {
                    406:   border-bottom: 1px dashed #000;
                    407: }
                    408: 
1.1       damieng   409: .rank-foilgroup {
                    410:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    411:   margin-bottom: 1em;
                    412: }
                    413: 
                    414: .rank-foilgroup>table {
                    415:   padding-left: 1em;
                    416:   padding-right: 1em;
                    417: }
                    418: 
                    419: .rank-foilgroup>table>tr>td:first-child {
                    420:   vertical-align: middle;
                    421: }
                    422: 
                    423: .rank-foilgroup>table>tr>td:nth-child(2) {
                    424:   min-width: 5em;
                    425: }
                    426: 
                    427: .rank-foilgroup>table>tr>td {
                    428:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    429: }
                    430: 
                    431: .rank-foilgroup>table>tr:hover .delete-icon {
                    432:   visibility: visible;
                    433: }
                    434: 
                    435: .rank-foilgroup>table>tr>td {
                    436:   border-top: 1px solid #FFF;
                    437:   border-bottom: 1px solid #FFF;
                    438: }
                    439: 
                    440: .rank-foilgroup>table>tr.dragbefore>td {
                    441:   border-top: 1px dashed #000;
                    442: }
                    443: 
                    444: .rank-foilgroup>table>tr.dragafter>td {
                    445:   border-bottom: 1px dashed #000;
                    446: }
                    447: 
                    448: .rank-number {
                    449:   border: 1px solid #555;
                    450:   padding: 1px;
                    451:   margin: 1px;
                    452: }
1.4       damieng   453: 
                    454: table.hintgroup {
                    455:   width: 100%;
                    456: }
                    457: 
                    458: table.hintgroup>tr>td:first-child {
                    459:   width: 1%;
                    460:   white-space: nowrap;
                    461:   font-style: italic;
                    462:   padding-right: 1em;
                    463: }
                    464: 
                    465: table.math-answer {
                    466:   width: 100%;
                    467: }
                    468: 
                    469: table.math-answer>tr>td:first-child {
                    470:   width: 1%;
                    471:   white-space: nowrap;
                    472:   font-style: italic;
                    473:   padding-right: 1em;
                    474: }
                    475: 
                    476: table.math-answer>tr>td:nth-child(2) {
                    477:   font-family: monospace;
                    478: }
1.6       damieng   479: 
                    480: div.section {
                    481:   padding-top: 5px;
                    482:   padding-left: 5px;
                    483:   padding-right: 5px;
                    484:   margin-top: 8px;
                    485:   margin-bottom: 8px;
1.7       damieng   486:   border: 1px solid #2A4;
1.6       damieng   487:   border-radius: 5px;
                    488:   box-shadow: 0px 1px 1px #BBB;
                    489: }
                    490: 
                    491: div.section-title {
                    492:   font-weight: bold;
1.7       damieng   493: }
                    494: 
                    495: div.section-title>img {
                    496:   vertical-align: middle;
                    497:   padding-right: 0.5em;
1.8       damieng   498:   cursor: default;
1.7       damieng   499: }
                    500: 
                    501: div.section-title>select {
                    502:   margin-right: 0.5em;
1.6       damieng   503: }

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