1/* 2 * Copyright (C) 2006, 2007, 2008 Apple Inc. All rights reserved. 3 * Copyright (C) 2009 Anthony Ricaud <rik@webkit.org> 4 * 5 * Redistribution and use in source and binary forms, with or without 6 * modification, are permitted provided that the following conditions 7 * are met: 8 * 9 * 1. Redistributions of source code must retain the above copyright 10 * notice, this list of conditions and the following disclaimer. 11 * 2. Redistributions in binary form must reproduce the above copyright 12 * notice, this list of conditions and the following disclaimer in the 13 * documentation and/or other materials provided with the distribution. 14 * 3. Neither the name of Apple Computer, Inc. ("Apple") nor the names of 15 * its contributors may be used to endorse or promote products derived 16 * from this software without specific prior written permission. 17 * 18 * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY 19 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 20 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 21 * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY 22 * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 23 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 24 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND 25 * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 26 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 27 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 28 */ 29 30.scripts-pause-on-exceptions-status-bar-item .glyph { 31 -webkit-mask-position: -256px 0; 32} 33 34.scripts-pause-on-exceptions-status-bar-item.toggled-all .glyph { 35 background-color: rgb(66, 129, 235); 36} 37 38.scripts-pause-on-exceptions-status-bar-item.toggled-uncaught .glyph { 39 background-color: purple; 40} 41 42.evaluate-snippet-status-bar-item .glyph { 43 -webkit-mask-position: -64px -48px; 44} 45 46.evaluate-snippet-status-bar-item.toggled .glyph { 47 background-color: rgb(66, 129, 235); 48} 49 50#scripts-debug-toolbar { 51 position: relative; 52 margin-top: -1px; 53 height: 24px; 54 border-bottom: 1px solid rgb(202, 202, 202); 55 background-color: rgb(236, 236, 236); 56} 57 58#scripts-editor-toolbar { 59 position: relative; 60 margin-top: -1px; 61 height: 24px; 62} 63 64.scripts-run-snippet .glyph { 65 -webkit-mask-position: -64px -48px; 66} 67 68.scripts-pause .glyph { 69 -webkit-mask-position: -32px -72px; 70} 71 72.scripts-pause.toggled-on .glyph { 73 -webkit-mask-position: 0 -72px; 74} 75 76.scripts-step-over .glyph { 77 -webkit-mask-position: -128px -72px; 78} 79 80.scripts-step-into .glyph { 81 -webkit-mask-position: -64px -72px; 82} 83 84.scripts-step-out .glyph { 85 -webkit-mask-position: -96px -72px; 86} 87 88.scripts-long-resume .glyph { 89 -webkit-mask-position: -64px -48px; 90} 91 92.scripts-toggle-breakpoints.toggled-on .glyph { 93 -webkit-mask-position: -32px 0; 94} 95 96.scripts-toggle-breakpoints .glyph { 97 -webkit-mask-position: 0 -24px; 98} 99 100.status-bar-item.scripts-navigator-show-hide-button, 101.status-bar-item.scripts-debugger-show-hide-button { 102 opacity: 0.9; 103} 104 105.panel.sources .tabbed-pane-header { 106 background-color: rgb(236, 236, 236); 107} 108 109button.status-bar-item.scripts-navigator-show-hide-button { 110 left: 0; 111} 112 113button.status-bar-item.scripts-navigator-show-hide-button.toggled-overlay { 114 left: auto; 115 right: 15px; 116} 117 118.scripts-views-container { 119 position: absolute; 120 top: 23px; 121 right: 0; 122 bottom: 0; 123 left: 0; 124} 125 126.script-view { 127 display: none; 128 overflow: hidden; 129 position: absolute; 130 top: 0; 131 right: 0; 132 bottom: 0; 133 left: 0; 134} 135 136.script-view.visible { 137 display: block; 138} 139 140.dedicated-worker-item { 141 margin: 5px 0 5px 1px; 142} 143 144#shared-workers-list { 145 margin: 5px 0 5px 20px; 146 font-style:italic; 147} 148 149#pause-workers-checkbox > input { 150 position: relative; 151 top: 2px; 152} 153 154.panel.sources #sources-editor-container-tabbed-pane .tabbed-pane-header-contents { 155 margin-left: 20px; 156 margin-right: 36px; 157} 158 159.function-location-link { 160 float: right; 161 margin-left: 10px; 162} 163 164.function-popover-title { 165 border-bottom: 1px solid #AAA; 166 margin-bottom: 3px; 167 padding-bottom: 2px; 168} 169 170.function-popover-title .function-name { 171 font-weight: bold; 172} 173 174button.status-bar-item.scripts-debugger-show-hide-button { 175 right: 15px; 176} 177 178button.status-bar-item.scripts-debugger-show-hide-button.toggled-left { 179 right: 0; 180} 181 182div.sidebar-pane-stack#scripts-debug-sidebar-contents, 183#scripts-sidebar-stack-pane { 184 top: 23px; 185 overflow: auto; 186} 187 188.workers-list > li { 189 overflow: hidden; 190 text-overflow: ellipsis; 191 white-space: nowrap; 192 margin-left: 1em; 193 font-size: 12px; 194} 195 196a.worker-item { 197 color: rgb(33%, 33%, 33%); 198 cursor: pointer; 199 text-decoration: none; 200} 201 202a.worker-item:hover { 203 color: rgb(15%, 15%, 15%); 204} 205 206.source-frame-debugger-script { 207 background-color: rgba(255, 255, 194, 0.5); 208} 209 210.source-frame-unsaved-committed-changes { 211 background-color: rgba(255, 225, 205, 0.40); 212} 213 214.tabbed-pane-placeholder { 215 font-size: 14px; 216 text-align: center; 217 margin-top: 20px; 218 text-shadow: rgba(255, 255, 255, 0.75) 0 1px 0; 219} 220 221.tabbed-pane-header-tab-icon { 222 width: 11px; 223 height: 10px; 224 margin-top: 3px; 225 float: left; 226 display: block; 227 margin-right: 1px; 228} 229 230.editor-container-unsaved-committed-changes-icon { 231 background-image: url(Images/statusbarButtonGlyphs.png); 232 background-size: 320px 120px; 233 background-position: -202px -107px; 234} 235 236.sources-status-bar div.resizer-widget { 237 width: 18px; 238 height: 16px; 239 -webkit-transform: rotate(90deg); 240 top: 2px; 241 right: 17px; 242} 243 244.sources-status-bar .scripts-debugger-show-hide-button { 245 margin-top: 1px !important; 246 height: 16px !important; 247 -webkit-transform: rotate(90deg); 248 right: 0 !important; 249} 250