2 * Copyright (C) 2013 Google Inc. All rights reserved.
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
8 * * Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * * Redistributions in binary form must reproduce the above
11 * copyright notice, this list of conditions and the following disclaimer
12 * in the documentation and/or other materials provided with the
14 * * Neither the name of Google Inc. nor the names of its
15 * contributors may be used to endorse or promote products derived from
16 * this software without specific prior written permission.
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
21 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
24 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
28 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
31 #sources-panel-sources-view {
36 #sources-editor-container-tabbed-pane {
40 #sources-editor-container-tabbed-pane .tabbed-pane-header-tab {
41 border-bottom: 1px solid #BBB;
44 #sources-panel-sources-view .sources-status-bar {
47 background-color: rgb(236, 236, 236);
48 border-top: 1px solid rgb(196,196,196);
51 #sources-panel-sources-view .sources-status-bar .status-bar-item {
56 #sources-panel-sources-view .sources-status-bar .status-bar-item.status-bar-text {
61 #sources-panel-sources-view .source-frame-cursor-position {
62 -webkit-user-select: text;
65 #sources-panel-sources-view .sources-toggle-pretty-print-status-bar-item .glyph {
66 -webkit-mask-position: -256px -24px;
69 #sources-panel-sources-view .sources-toggle-pretty-print-status-bar-item.toggled .glyph {
70 background-color: rgb(66, 129, 235);
73 #sources-panel-sources-view .drag-mask {
74 background-color: transparent;