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

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

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