1 /* 2 * Copyright (C) 2006 Apple Computer, Inc. All rights reserved. 3 * 4 * Redistribution and use in source and binary forms, with or without 5 * modification, are permitted provided that the following conditions 6 * are met: 7 * 1. Redistributions of source code must retain the above copyright 8 * notice, this list of conditions and the following disclaimer. 9 * 2. Redistributions in binary form must reproduce the above copyright 10 * notice, this list of conditions and the following disclaimer in the 11 * documentation and/or other materials provided with the distribution. 12 * 13 * THIS SOFTWARE IS PROVIDED BY APPLE COMPUTER, INC. ``AS IS'' AND ANY 14 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 15 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 16 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE COMPUTER, INC. OR 17 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, 18 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, 19 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY 20 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 21 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 22 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 23 */ 24 25 body { 26 margin: 0 27 } 28 29 table { 30 width: 100%; 31 border-spacing: 0; 32 counter-reset: lines; 33 white-space: pre-wrap !important; 34 margin: 0; 35 word-break: break-word; 36 font-size: initial; 37 font-family: monospace; 38 } 39 40 td { 41 padding: 0 !important; 42 vertical-align: baseline 43 } 44 45 .webkit-line-gutter-backdrop, .webkit-line-number { 46 /* Keep this in sync with inspector.css (.webkit-line-gutter-backdrop) */ 47 -webkit-box-sizing: border-box; 48 padding: 0 4px !important; 49 width: 31px; 50 background-color: rgb(240, 240, 240); 51 border-right: 1px solid rgb(187, 187, 187) !important; 52 -webkit-user-select: none; 53 } 54 55 .webkit-line-gutter-backdrop { 56 /* Keep this in sync with inspector.css (.webkit-line-gutter-backdrop) */ 57 position: absolute; 58 z-index: -1; 59 left: 0; 60 top: 0; 61 height: 100% 62 } 63 64 .webkit-line-number { 65 text-align: right; 66 color: rgb(128, 128, 128); 67 word-break: normal; 68 white-space: nowrap; 69 font-size: 9px; 70 font-family: Helvetica 71 } 72 73 .webkit-line-number::before { 74 content: counter(lines); 75 counter-increment: lines; 76 -webkit-user-select: none 77 } 78 79 .webkit-line-content { 80 padding: 0 5px !important; 81 } 82 83 .webkit-html-tag { 84 /* Keep this in sync with inspector.css (.webkit-html-tag) */ 85 color: rgb(136, 18, 128); 86 } 87 88 .webkit-html-attribute-name { 89 /* Keep this in sync with inspector.css (.webkit-html-attribute-name) */ 90 color: rgb(153, 69, 0); 91 } 92 93 .webkit-html-attribute-value { 94 /* Keep this in sync with inspector.css (.webkit-html-attribute-value) */ 95 color: rgb(26, 26, 166); 96 } 97 98 .webkit-html-external-link, .webkit-html-resource-link { 99 /* Keep this in sync with inspector.css (.webkit-html-external-link, .webkit-html-resource-link) */ 100 color: #00e; 101 } 102 103 .webkit-html-external-link { 104 /* Keep this in sync with inspector.css (.webkit-html-external-link) */ 105 text-decoration: none; 106 } 107 108 .webkit-html-external-link:hover { 109 /* Keep this in sync with inspector.css (.webkit-html-external-link:hover) */ 110 text-decoration: underline; 111 } 112 113 .webkit-html-comment { 114 /* Keep this in sync with inspector.css (.webkit-html-comment) */ 115 color: rgb(35, 110, 37); 116 } 117 118 .webkit-html-doctype { 119 /* Keep this in sync with inspector.css (.webkit-html-doctype) */ 120 color: rgb(192, 192, 192); 121 } 122 123 .webkit-html-entity { 124 rgb(136, 18, 128); 125 } 126 127 .webkit-html-message-bubble { 128 -webkit-box-shadow: black 0px 2px 5px; 129 -webkit-border-radius: 9px; 130 -webkit-border-fit: lines; 131 min-height: 13px; 132 font-size: 9px; 133 font-family: Lucida Grande, sans-serif; 134 font-weight: bold; 135 margin: 6px 25px; 136 padding: 0 7px 1px; 137 } 138 139 .webkit-html-warning-message { 140 background-color: rgb(100%, 62%, 42%); 141 border: 2px solid rgb(100%, 52%, 21%); 142 } 143 144 .webkit-html-error-message { 145 background-color: rgb(100%, 42%, 42%); 146 border: 2px solid rgb(100%, 31%, 31%); 147 } 148 149 .webkit-html-message-line { 150 padding-left: 23px; 151 text-indent: -20px; 152 } 153 154 .webkit-html-message-icon { 155 position: relative; 156 top: 2px; 157 margin: 0 4px; 158 } 159