debian/tmp/usr/share/ewebkit-0/webinspector/textViewer.css

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