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

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:   margin-top: 8px;
                     17:   margin-bottom: 8px;
                     18:   border-top-left-radius: 0.4em;
                     19:   border-top-right-radius: 0.4em;
                     20:   border-bottom-left-radius: 0.4em;
                     21: }
                     22: 
                     23: .lcdblock.invalid {
                     24:   border-top: 1px solid #F00;
                     25:   border-left: 1px solid #F00;
                     26:   border-bottom: 1px solid #F00;
                     27: }
                     28: 
                     29: .selected .lcdblock-header {
                     30:   background-color: #50A0FF;
                     31: }
                     32: 
                     33: .lcdblock-header {
                     34:   background-color: #F5F5F5;
                     35:   padding: 2px;
                     36:   border-top-left-radius: 0.4em;
                     37:   border-top-right-radius: 0.4em;
                     38:   box-shadow: 0px 1px 2px #AAA;
                     39:   cursor: default;
                     40:   font-family: sans-serif;
                     41:   font-weight: normal;
                     42:   font-style: normal;
                     43:   font-size: medium;
                     44:   color: black;
                     45:   text-align: left;
                     46: }
                     47: 
                     48: .lcdblock-header:after {
                     49:   /* clearfix for floating buttons */
                     50:   /* we can't use overflow:auto because of the parameter template menu which needs to overflow */
                     51:   visibility: hidden;
                     52:   display: block;
                     53:   content: "";
                     54:   clear: both;
                     55:   height: 0;
                     56: }
                     57: 
                     58: .lcdblock-header.without-content-afterwards {
                     59:   border-bottom-left-radius: 0.4em;
                     60: }
                     61: 
                     62: .lcdblock.invalid>.lcdblock-header {
                     63:   background-color: #FFE0B0;
                     64: }
                     65: 
                     66: .lcdblock.invalid.selected>.lcdblock-header {
                     67:   background-color: #50A0FF;
                     68: }
                     69: 
                     70: .selected .lcdblock.invalid>.lcdblock-header {
                     71:   background-color: #50A0FF;
                     72: }
                     73: 
                     74: .lcdblock-title {
                     75:   margin-left: 4px;
                     76:   margin-right: 3px;
                     77:   font-style: italic;
                     78: }
                     79: 
                     80: .lcdblock-attributes {
                     81:   font-size: 90%;
                     82: }
                     83: 
                     84: .lcdblock-content {
                     85:   margin-top: 3px;
                     86: }
                     87: 
                     88: .lcd-button-box {
                     89:   display: inline-block;
                     90:   line-height: 20px;
                     91:   border: 1px solid #AAA;
                     92:   margin: 0.2em;
                     93:   background: #FAFAFA;
                     94:   border-radius: 5px;
                     95:   overflow: hidden;
                     96:   cursor: default;
                     97: }
                     98: 
                     99: .lcdbutton {
                    100:   display: inline-block;
                    101:   line-height: 18px;
                    102:   padding: 3px;
                    103:   cursor: default;
                    104: }
                    105: 
                    106: .lcdbutton-disabled {
                    107:   opacity: 0.3;
                    108: }
                    109: 
                    110: .lcdbutton-selected {
                    111:   background-color: #DDD;
                    112: }
                    113: 
                    114: .lcdbutton:hover {
                    115:   background-color: #EEE;
                    116: }
                    117: 
                    118: .lcdbutton-disabled:hover {
                    119:   background-color: transparent;
                    120: }
                    121: 
                    122: .lcdbutton-disabled:hover {
                    123:   background-color: transparent;
                    124: }
                    125: 
                    126: .lcdbutton img {
                    127:   vertical-align: middle;
                    128: }
                    129: 
                    130: .lcdblock .lcd-button-box {
                    131:   float: right;
                    132: }
                    133: 
                    134: .lcdblock .lcd-advanced {
                    135:   float: right;
                    136: }
                    137: 
                    138: .tex {
                    139:   cursor: default;
                    140: }
                    141: 
                    142: .hr {
                    143:   cursor: default;
                    144:   margin: 0px;
                    145:   padding-top: 0.5em;
                    146:   padding-bottom: 0.5em;
                    147: }
                    148: 
                    149: input.math {
                    150:   font-family: monospace;
                    151: }
                    152: 
                    153: .perl-text {
                    154:   visibility: hidden;
                    155: }
                    156: 
                    157: .perl-text .selection {
                    158:   visibility: visible;
                    159: }
                    160: 
                    161: .selected .perl-text {
                    162:   visibility: visible;
                    163: }
                    164: 
                    165: .perl-colored {
                    166:   z-index: -1;
                    167:   visibility: visible;
1.2       damieng   168:   width: 100%;
1.1       damieng   169:   font-family: monospace;
                    170: }
                    171: 
                    172: .perl-colored .keyword {
                    173:   font-weight: bold;
                    174: }
                    175: .perl-colored .string {
                    176:   color: #050;
                    177: }
                    178: .perl-colored .comment {
                    179:   color: #666;
                    180: }
                    181: .perl-colored .variable {
                    182:   color: #049;
                    183: }
                    184: .perl-colored .number {
                    185:   color: #640;
                    186: }
                    187: .perl-colored .function-call {
                    188:   color: #705;
                    189: }
                    190: 
                    191: .radio-foilgroup {
                    192:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    193:   margin-bottom: 1em;
                    194: }
                    195: 
                    196: .radio-foilgroup>table {
                    197:   padding-left: 1em;
                    198:   padding-right: 1em;
                    199: }
                    200: 
                    201: .radio-foilgroup>table>tr>td:first-child {
                    202:   vertical-align: middle;
                    203: }
                    204: 
1.2       damieng   205: .radio-foilgroup>table>tr>td:nth-child(3) {
1.1       damieng   206:   min-width: 5em;
                    207: }
                    208: 
                    209: .radio-foilgroup>table>tr>td {
                    210:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    211: }
                    212: 
                    213: .radio-foilgroup>table>tr:hover .delete-icon {
                    214:   visibility: visible;
                    215: }
                    216: 
                    217: .radio-foilgroup>table>tr>td {
                    218:   border-top: 1px solid #FFF;
                    219:   border-bottom: 1px solid #FFF;
                    220: }
                    221: 
                    222: .radio-foilgroup>table>tr.dragbefore>td {
                    223:   border-top: 1px dashed #000;
                    224: }
                    225: 
                    226: .radio-foilgroup>table>tr.dragafter>td {
                    227:   border-bottom: 1px dashed #000;
                    228: }
                    229: 
                    230: .grip-icon {
                    231:   vertical-align: middle;
                    232:   padding-right: 6px;
                    233:   padding-left: 4px;
                    234:   cursor: move;
                    235: }
                    236: 
                    237: .optionresponse-options {
                    238:   margin-bottom: 1em;
                    239: }
                    240: 
                    241: .option-list {
                    242:   list-style: none;
                    243:   margin-top: 0.5em;
                    244:   margin-bottom: 0.5em;
                    245:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    246:   cursor: default;
                    247: }
                    248: 
                    249: .option-list {
                    250:   margin-left: 0;
                    251:   padding-left: 1em;
                    252: }
                    253: 
                    254: .option-list>li {
                    255:   border-top: 1px solid #FFF;
                    256:   border-bottom: 1px solid #FFF;
                    257: }
                    258: 
                    259: .option-list>li.dragbefore {
                    260:   border-top: 1px dashed #000;
                    261: }
                    262: 
                    263: .option-list>li.dragafter {
                    264:   border-bottom: 1px dashed #000;
                    265: }
                    266: 
                    267: .delete-icon {
                    268:   visibility: hidden;
                    269:   cursor: default;
                    270: }
                    271: 
                    272: .option-list>li:hover .delete-icon {
                    273:   visibility: visible;
                    274: }
                    275: 
                    276: .optionresponse-foilgroup {
                    277:   margin-bottom: 1em;
                    278:   white-space: normal;
                    279: }
                    280: 
                    281: .optionresponse-foilgroup>table {
                    282:   padding-left: 1em;
                    283: }
                    284: 
                    285: .optionresponse-foilgroup>table>tr>td:first-child {
                    286:   vertical-align: middle;
                    287: }
                    288: 
                    289: .optionresponse-foilgroup>table>tr>td:nth-child(2) {
                    290:   min-width: 5em;
                    291: }
                    292: 
                    293: .optionresponse-foilgroup>table>tr>td {
                    294:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    295: }
                    296: 
                    297: .optionresponse-foilgroup>table>tr:hover .delete-icon {
                    298:   visibility: visible;
                    299: }
                    300: 
                    301: .optionresponse-foilgroup>table>tr>td {
                    302:   border-top: 1px solid #FFF;
                    303:   border-bottom: 1px solid #FFF;
                    304: }
                    305: 
                    306: .optionresponse-foilgroup>table>tr.dragbefore>td {
                    307:   border-top: 1px dashed #000;
                    308: }
                    309: 
                    310: .optionresponse-foilgroup>table>tr.dragafter>td {
                    311:   border-bottom: 1px dashed #000;
                    312: }
                    313: 
1.3       damieng   314: .matchresponse-foilgroup {
                    315:   margin-bottom: 1em;
                    316:   white-space: normal;
                    317: }
                    318: 
                    319: .matchresponse-foilgroup>table {
                    320:   padding-left: 1em;
                    321: }
                    322: 
                    323: .matchresponse-foilgroup>table>tr>td:first-child {
                    324:   vertical-align: middle;
                    325: }
                    326: 
                    327: .matchresponse-foilgroup>table>tr>td:nth-child(2) {
                    328:   min-width: 5em;
                    329: }
                    330: 
                    331: .matchresponse-foilgroup>table>tr>td {
                    332:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    333: }
                    334: 
                    335: .matchresponse-foilgroup>table>tr:hover .delete-icon {
                    336:   visibility: visible;
                    337: }
                    338: 
                    339: .matchresponse-foilgroup>table>tr>td {
                    340:   border-top: 1px solid #FFF;
                    341:   border-bottom: 1px solid #FFF;
                    342: }
                    343: 
                    344: .matchresponse-foilgroup>table>tr.dragbefore>td {
                    345:   border-top: 1px dashed #000;
                    346: }
                    347: 
                    348: .matchresponse-foilgroup>table>tr.dragafter>td {
                    349:   border-bottom: 1px dashed #000;
                    350: }
                    351: 
                    352: .itemgroup {
                    353:   margin-bottom: 1em;
                    354:   white-space: normal;
                    355: }
                    356: 
                    357: .itemgroup>table {
                    358:   padding-left: 1em;
                    359: }
                    360: 
                    361: .itemgroup>table>tr>td:first-child {
                    362:   vertical-align: middle;
                    363: }
                    364: 
                    365: .itemgroup>table>tr>td:nth-child(2) {
                    366:   min-width: 5em;
                    367: }
                    368: 
                    369: .itemgroup>table>tr>td {
                    370:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    371: }
                    372: 
                    373: .itemgroup>table>tr:hover .delete-icon {
                    374:   visibility: visible;
                    375: }
                    376: 
                    377: .itemgroup>table>tr>td {
                    378:   border-top: 1px solid #FFF;
                    379:   border-bottom: 1px solid #FFF;
                    380: }
                    381: 
                    382: .itemgroup>table>tr.dragbefore>td {
                    383:   border-top: 1px dashed #000;
                    384: }
                    385: 
                    386: .itemgroup>table>tr.dragafter>td {
                    387:   border-bottom: 1px dashed #000;
                    388: }
                    389: 
1.1       damieng   390: .rank-foilgroup {
                    391:   white-space: normal; /* to prevent a bug with draggable in Firefox */
                    392:   margin-bottom: 1em;
                    393: }
                    394: 
                    395: .rank-foilgroup>table {
                    396:   padding-left: 1em;
                    397:   padding-right: 1em;
                    398: }
                    399: 
                    400: .rank-foilgroup>table>tr>td:first-child {
                    401:   vertical-align: middle;
                    402: }
                    403: 
                    404: .rank-foilgroup>table>tr>td:nth-child(2) {
                    405:   min-width: 5em;
                    406: }
                    407: 
                    408: .rank-foilgroup>table>tr>td {
                    409:   position: relative; /* bug workaround for Chromium (without this the tr drag&drop ghost is not visible) */
                    410: }
                    411: 
                    412: .rank-foilgroup>table>tr:hover .delete-icon {
                    413:   visibility: visible;
                    414: }
                    415: 
                    416: .rank-foilgroup>table>tr>td {
                    417:   border-top: 1px solid #FFF;
                    418:   border-bottom: 1px solid #FFF;
                    419: }
                    420: 
                    421: .rank-foilgroup>table>tr.dragbefore>td {
                    422:   border-top: 1px dashed #000;
                    423: }
                    424: 
                    425: .rank-foilgroup>table>tr.dragafter>td {
                    426:   border-bottom: 1px dashed #000;
                    427: }
                    428: 
                    429: .rank-number {
                    430:   border: 1px solid #555;
                    431:   padding: 1px;
                    432:   margin: 1px;
                    433: }
1.4     ! damieng   434: 
        !           435: table.hintgroup {
        !           436:   width: 100%;
        !           437: }
        !           438: 
        !           439: table.hintgroup>tr>td:first-child {
        !           440:   width: 1%;
        !           441:   white-space: nowrap;
        !           442:   font-style: italic;
        !           443:   padding-right: 1em;
        !           444: }
        !           445: 
        !           446: table.math-answer {
        !           447:   width: 100%;
        !           448: }
        !           449: 
        !           450: table.math-answer>tr>td:first-child {
        !           451:   width: 1%;
        !           452:   white-space: nowrap;
        !           453:   font-style: italic;
        !           454:   padding-right: 1em;
        !           455: }
        !           456: 
        !           457: table.math-answer>tr>td:nth-child(2) {
        !           458:   font-family: monospace;
        !           459: }

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