Home | History | Annotate | Download | only in front_end
      1 /*
      2  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
      3  * Copyright (C) 2009 Anthony Ricaud <rik (at) 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-on .glyph {
     35     background-color: rgb(66, 129, 235);
     36 }
     37 
     38 .scripts-debug-toolbar {
     39     position: absolute;
     40     top: 0;
     41     width: 100%;
     42     background-color: rgb(236, 236, 236);
     43     overflow: hidden;
     44     white-space: nowrap;
     45 }
     46 
     47 .scripts-debug-toolbar-drawer {
     48     flex: 0 0 46px;
     49     -webkit-transition: margin-top 0.1s ease-in-out;
     50     margin-top: -23px;
     51     line-height: 23px;
     52     padding-top: 22px;
     53     border-bottom: 1px solid rgb(202, 202, 202);
     54     background-color: white;
     55     overflow: hidden;
     56 }
     57 
     58 .scripts-debug-toolbar-drawer.expanded {
     59     margin-top: 0;
     60 }
     61 
     62 .scripts-debug-toolbar-drawer > label {
     63     display: flex;
     64     padding-left: 3px;
     65     border-top: 1px solid rgb(196,196,196);
     66     height: 24px;
     67 }
     68 
     69 #scripts-editor-toolbar {
     70     position: relative;
     71     margin-top: -1px;
     72     height: 24px;
     73 }
     74 
     75 .scripts-run-snippet .glyph {
     76     -webkit-mask-position: -64px -48px;
     77 }
     78 
     79 .scripts-pause .glyph {
     80     -webkit-mask-position: -32px -72px;
     81 }
     82 
     83 .scripts-pause.toggled-on .glyph {
     84     -webkit-mask-position: 0 -72px;
     85 }
     86 
     87 .scripts-step-over .glyph {
     88     -webkit-mask-position: -128px -72px;
     89 }
     90 
     91 .scripts-step-into .glyph {
     92     -webkit-mask-position: -64px -72px;
     93 }
     94 
     95 .scripts-step-out .glyph {
     96     -webkit-mask-position: -96px -72px;
     97 }
     98 
     99 .scripts-long-resume .glyph {
    100     -webkit-mask-position: -64px -48px;
    101 }
    102 
    103 .scripts-toggle-breakpoints.toggled-on .glyph {
    104     -webkit-mask-position: -32px 0;
    105 }
    106 
    107 .scripts-toggle-breakpoints .glyph {
    108     -webkit-mask-position: 0 -24px;
    109 }
    110 
    111 #shared-workers-list {
    112     margin: 5px 0 5px 20px;
    113     font-style:italic;
    114 }
    115 
    116 #pause-workers-checkbox > input {
    117     position: relative;
    118     top: 2px;
    119 }
    120 
    121 .panel.sources #sources-editor-container-tabbed-pane .tabbed-pane-header-contents {
    122     margin-left: 22px;
    123     margin-right: 36px;
    124 }
    125 
    126 .panel.sources .split-view button.scripts-debugger-show-hide-button.right-sidebar-show-hide-button.toggled-hide {
    127     margin-right: 15px;
    128 }
    129 
    130 .panel.sources .split-view #scripts-debug-sidebar-resizer-widget.ns-resizer-widget {
    131     -webkit-transform: rotate(90deg);
    132     right: 17px;
    133     bottom: 4px;
    134     top: auto;
    135     height: 10px;
    136     width: 18px;
    137 }
    138 
    139 .panel.sources .split-view.hbox #scripts-debug-sidebar-resizer-widget {
    140     bottom: 0;
    141 }
    142 
    143 .panel.sources .scripts-debugger-show-hide-button {
    144     display: block;
    145 }
    146 
    147 .panel.sources button.status-bar-item.scripts-navigator-show-hide-button {
    148     display: block;
    149     top: 4px;
    150     left: 4px;
    151 }
    152 
    153 .panel.sources .navigator-tabbed-pane .tabbed-pane-header {
    154     background-color: rgb(236, 236, 236);
    155 }
    156 
    157 .function-location-link {
    158     float: right;
    159     margin-left: 10px;
    160 }
    161 
    162 .function-popover-title {
    163     border-bottom: 1px solid #AAA;
    164     margin-bottom: 3px;
    165     padding-bottom: 2px;
    166 }
    167 
    168 .function-popover-title .function-name {
    169     font-weight: bold;
    170 }
    171 
    172 .panel.sources .sidebar-pane-stack {
    173     overflow: auto;
    174 }
    175 
    176 #targets-toolbar {
    177     background: rgb(236, 236, 236);
    178     border-bottom: 1px solid rgb(189, 189, 189);
    179     border-top: 1px solid rgb(189, 189, 189);
    180     margin-right: 0px;
    181     padding-right: 6px;
    182     margin-top: -1px;
    183 }
    184 
    185 .panel.sources .drag-mask {
    186     background-color: rgba(255,255,255,0.8);
    187     z-index: 1000;
    188 }
    189 
    190 .panel.sources .drag-mask-inner {
    191     font-size: 30px;
    192     color: #999;
    193     display: flex;
    194     justify-content: center;
    195     align-items: center;
    196     margin: 20px;
    197     border: 4px dashed #ddd;
    198     pointer-events: none;
    199 }
    200