Home | History | Annotate | Download | only in front-end 
      1 .text-editor {
      2     position: absolute;
      3     top:0;
      4     left:0;
      5     right:0;
      6     bottom:0;
      7     white-space: pre;
      8     overflow: auto;
      9 }
     10 
     11 .text-editor-lines {
     12     position: absolute;
     13     top: 0;
     14     left: 0;
     15     bottom: 0;
     16     overflow: hidden;
     17     -webkit-user-select: none;
     18     background-color: rgb(240, 240, 240);
     19     border-right: 1px solid rgb(187, 187, 187);
     20     min-width: 19px;
     21 }
     22 
     23 .text-editor-contents {
     24     position: absolute;
     25     top: 0;
     26     left: 0;
     27     right: 0;
     28     bottom: 0;
     29     overflow: auto;
     30     -webkit-user-select: text;
     31 }
     32 
     33 .text-editor-contents .inner-container {
     34     position: absolute;
     35     top: 0;
     36     left: 0;
     37     right: auto;
     38     bottom: auto;
     39     min-width: 100%;
     40 }
     41 
     42 .text-editor-editable {
     43     -webkit-user-modify: read-write-plaintext-only;
     44 }
     45 
     46 .webkit-line-decorations {
     47     pointer-events: none;
     48     -webkit-user-select: none;
     49     -webkit-user-modify: read-only;
     50 }
     51 
     52 .webkit-html-message-bubble {
     53     -webkit-box-shadow: black 0px 2px 5px;
     54     -webkit-border-radius: 9px;
     55     -webkit-border-fit: lines;
     56     font-size: 10px;
     57     font-family: Lucida Grande, sans-serif;
     58     font-weight: bold;
     59     margin: 6px 25px;
     60     padding: 0 7px 1px;
     61     z-index:20;
     62 }
     63 
     64 .webkit-html-warning-message {
     65     background-color: rgb(100%, 62%, 42%);
     66     border: 2px solid rgb(100%, 52%, 21%);
     67 }
     68 
     69 .webkit-html-error-message {
     70     background-color: rgb(100%, 42%, 42%);
     71     border: 2px solid rgb(100%, 31%, 31%);
     72 }
     73 
     74 .webkit-html-message-line {
     75     padding-left: 23px;
     76     text-indent: -20px;
     77 }
     78 
     79 .webkit-html-message-line-hover {
     80     padding-left: 23px;
     81     text-indent: -20px;
     82     white-space: auto;
     83     text-overflow: auto;
     84     overflow: auto;
     85 }
     86 
     87 .webkit-html-message-icon {
     88     position: relative;
     89     top: 2px;
     90     margin: 0 4px;
     91 }
     92 
     93 .webkit-line-number {
     94     color: rgb(128, 128, 128);
     95     text-align: right;
     96     vertical-align: top;
     97     word-break: normal;
     98     padding-right: 4px;
     99     padding-left: 6px;
    100 }
    101 
    102 .webkit-line-number-outer {
    103     margin-right: -4px;
    104     margin-left: -4px;
    105     border-color: transparent;
    106     border-style: solid;
    107     border-width: 0 0 0px 2px;
    108     vertical-align: top;
    109 }
    110 
    111 .webkit-line-number-inner {
    112     margin-right: 4px;
    113 }
    114 
    115 .webkit-breakpoint .webkit-line-number-inner, .webkit-breakpoint-conditional .webkit-line-number-inner, .webkit-execution-line .webkit-line-number-inner {
    116     margin-right: -10px;
    117 }
    118 
    119 .webkit-line-content {
    120     padding-left: 2px;
    121 }
    122 
    123 .webkit-breakpoint .webkit-line-number-outer {
    124     color: white;
    125     border-width: 0 14px 0px 2px;
    126     -webkit-border-image: url(Images/breakpointBorder.png) 0 14 0 2;
    127 }
    128 
    129 .webkit-breakpoint-conditional .webkit-line-number-outer {
    130     color: white;
    131     border-width: 0 14px 0px 2px;
    132     -webkit-border-image: url(Images/breakpointConditionalBorder.png) 0 14 0 2;
    133 }
    134 
    135 .webkit-execution-line .webkit-line-number-outer {
    136     color: transparent;
    137     border-width: 0 14px 0px 2px;
    138     -webkit-border-image: url(Images/programCounterBorder.png) 0 14 0 2;
    139 }
    140 
    141 .webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
    142     color: white;
    143     -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
    144 }
    145 
    146 .webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
    147     color: transparent;
    148     -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
    149 }
    150 
    151 .webkit-breakpoint-conditional.webkit-execution-line .webkit-line-number-outer {
    152     color: transparent;
    153     -webkit-border-image: url(Images/breakpointConditionalCounterBorder.png) 0 14 0 2;
    154 }
    155 
    156 .webkit-breakpoint-disabled .webkit-line-number-outer {
    157     opacity: 0.5;
    158 }
    159 
    160 .breakpoints-deactivated .webkit-breakpoint .webkit-line-number-outer {
    161     opacity: 0.5;
    162 }
    163 
    164 .breakpoints-deactivated .webkit-breakpoint-disabled .webkit-line-number-outer {
    165     opacity: 0.3;
    166 }
    167 
    168 .webkit-execution-line.webkit-line-content {
    169     background-color: rgb(171, 191, 254);
    170     outline: 1px solid rgb(64, 115, 244);
    171 }
    172 
    173 .diff-container .webkit-added-line.webkit-line-content {
    174     background-color: rgb(220, 255, 220);
    175 }
    176 
    177 .diff-container .webkit-removed-line.webkit-line-content {
    178     background-color: rgb(255, 220, 220);
    179     text-decoration: line-through;
    180 }
    181 
    182 .diff-container .webkit-changed-line.webkit-line-content {
    183     background-color: rgb(220, 220, 255);
    184 }
    185 
    186 .webkit-search-result {
    187     -webkit-border-radius: 4px;
    188     padding: 2px 2px 2px 3px;
    189     margin: -2px -2px -2px -3px;
    190     opacity: 0.8;
    191     -webkit-box-shadow: rgba(0, 0, 0, .5) 3px 3px 4px;
    192     background-color: rgb(241, 234, 0);
    193     color: black;
    194 }
    195 
    196 .webkit-highlighted-line.webkit-line-content {
    197     -webkit-animation: "fadeout" 2s 0s;
    198 }
    199 
    200 @-webkit-keyframes fadeout {
    201     from {background-color: rgb(255, 255, 120); }
    202     to { background-color: white; }
    203 }
    204