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

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

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