1 .text-editor { 2 position: absolute; 3 top:0; 4 left:0; 5 right:0; 6 bottom:0; 7 white-space: pre-wrap; 8 overflow: auto; 9 } 10 11 .text-editor-lines { 12 border: 0; 13 width: 100%; 14 vertical-align: baseline; 15 -webkit-border-horizontal-spacing: 0; 16 -webkit-border-vertical-spacing: 0; 17 -webkit-user-select: text; 18 } 19 20 .webkit-html-message-bubble { 21 -webkit-box-shadow: black 0px 2px 5px; 22 -webkit-border-radius: 9px; 23 -webkit-border-fit: lines; 24 font-size: 10px; 25 font-family: Lucida Grande, sans-serif; 26 font-weight: bold; 27 margin: 6px 25px; 28 padding: 0 7px 1px; 29 z-index:20; 30 max-width: 80%; 31 32 } 33 34 .webkit-html-warning-message { 35 background-color: rgb(100%, 62%, 42%); 36 border: 2px solid rgb(100%, 52%, 21%); 37 } 38 39 .webkit-html-error-message { 40 background-color: rgb(100%, 42%, 42%); 41 border: 2px solid rgb(100%, 31%, 31%); 42 } 43 44 .webkit-html-message-line { 45 padding-left: 23px; 46 text-indent: -20px; 47 } 48 49 .webkit-html-message-line-hover { 50 padding-left: 23px; 51 text-indent: -20px; 52 white-space: auto; 53 text-overflow: auto; 54 overflow: auto; 55 } 56 57 .webkit-html-message-icon { 58 position: relative; 59 top: 2px; 60 margin: 0 4px; 61 } 62 63 .webkit-line-number { 64 color: rgb(128, 128, 128); 65 text-align: right; 66 white-space: pre; 67 word-break: normal; 68 -webkit-user-select: none; 69 background-color: rgb(240, 240, 240); 70 border-right: 1px solid rgb(187, 187, 187) !important; 71 padding-left: 2px; 72 padding-right: 2px; 73 vertical-align: top; 74 background-repeat: no-repeat; 75 background-position: right 1px; 76 } 77 78 .webkit-line-content { 79 white-space: pre-wrap; 80 padding-left: 2px; 81 } 82 83 .webkit-execution-line .webkit-line-number { 84 color: transparent; 85 background-image: -webkit-canvas(program-counter); 86 } 87 88 .webkit-breakpoint .webkit-line-number { 89 color: white; 90 background-image: -webkit-canvas(breakpoint); 91 } 92 93 .webkit-breakpoint-disabled .webkit-line-number { 94 color: white; 95 background-image: -webkit-canvas(breakpoint-disabled); 96 } 97 98 .webkit-breakpoint.webkit-execution-line .webkit-line-number { 99 color: transparent; 100 background-image: -webkit-canvas(breakpoint-program-counter); 101 } 102 103 .webkit-breakpoint-disabled.webkit-execution-line .webkit-line-number { 104 color: transparent; 105 background-image: -webkit-canvas(breakpoint-disabled-program-counter); 106 } 107 108 .webkit-breakpoint.webkit-breakpoint-conditional .webkit-line-number { 109 color: white; 110 background-image: -webkit-canvas(breakpoint-conditional); 111 } 112 113 .webkit-breakpoint-disabled.webkit-breakpoint-conditional .webkit-line-number { 114 color: white; 115 background-image: -webkit-canvas(breakpoint-disabled-conditional); 116 } 117 118 .webkit-breakpoint.webkit-breakpoint-conditional.webkit-execution-line .webkit-line-number { 119 color: transparent; 120 background-image: -webkit-canvas(breakpoint-conditional-program-counter); 121 } 122 123 .webkit-breakpoint-disabled.webkit-breakpoint-conditional.webkit-execution-line .webkit-line-number { 124 color: transparent; 125 background-image: -webkit-canvas(breakpoint-disabled-conditional-program-counter); 126 } 127 128 .webkit-execution-line .webkit-line-content { 129 background-color: rgb(171, 191, 254); 130 outline: 1px solid rgb(64, 115, 244); 131 } 132 133 .webkit-markup { 134 -webkit-border-radius: 4px; 135 padding: 2px 1px 2px 3px; 136 margin-left: -4px; 137 margin-top: -2px; 138 -webkit-box-shadow: rgba(0, 0, 0, .5) 3px 3px 4px; 139 background-color: rgb(241, 234, 0); 140 } 141 142 .webkit-highlighted-line .webkit-line-content { 143 -webkit-animation: "fadeout" 2s 0s; 144 } 145 146 @-webkit-keyframes fadeout { 147 from {background-color: rgb(255, 255, 120); } 148 to { background-color: white; } 149 } 150
