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