WebKitTools/Drosera/debugger.css

   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  *
   8  * 1.  Redistributions of source code must retain the above copyright
   9  *     notice, this list of conditions and the following disclaimer.
  10  * 2.  Redistributions in binary form must reproduce the above copyright
  11  *     notice, this list of conditions and the following disclaimer in the
  12  *     documentation and/or other materials provided with the distribution.
  13  * 3.  Neither the name of Apple Computer, Inc. ("Apple") nor the names of
  14  *     its contributors may be used to endorse or promote products derived
  15  *     from this software without specific prior written permission.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
  18  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
  19  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  20  * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
  21  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
  22  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  23  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
  24  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27  */
  28
  29 img { padding: 0; margin: 0; }
  30 body { margin: 0; padding: 0; }
  31
  32 #main { position: absolute; top: 0; bottom: 0; left: 0; right: 0; }
  33 #info { position: absolute; top: 0; height: 175px; left: 0; right: 0; }
  34 #divider { cursor: row-resize; position: absolute; bottom: 0; left: 0; right: 0; background: url(splitterDimple.tif) 50% no-repeat, url(splitterBar.tif) repeat-x; height: 10px }
  35 #body { position: absolute; top: 175px; left: 0; right: 0; bottom: 0; }
  36 #sourcesContainer { position: absolute; top: 16px; left: 0; right: 0; bottom: 21px; background-color: white; }
  37 #sources { width: 100%; height: 100% }
  38 #header { vertical-align: top; height: 16px; box-sizing: border-box; border-bottom: 1px solid #aaa; background: url(glossyHeader.png) repeat-x; position: absolute; top: 0; left: 0; right: 0; }
  39 #header > * { vertical-align: top; }
  40 #footer { height: 21px; box-sizing: border-box; border-top: 1px solid #aaa; background: url(glossyFooterFill.tif) repeat-x; position: absolute; bottom: 0; left: 0; right: 0; }
  41 #infoDivider { position: absolute; z-index: 10; right: 0; left: 0; top: 0; bottom: 9px; width: 10px; cursor: col-resize; background: url(verticalSplitterDimple.tiff) 50% no-repeat, url(verticalSplitterBar.tiff) repeat-y; width: 10px; }
  42
  43 #files {
  44     opacity: 0;
  45     position: absolute;
  46     top: -2px;
  47     left: -3px;
  48     right: 0;
  49     z-index: 10;
  50     margin: 0;
  51     padding: 0;
  52 }
  53
  54 button.popup {
  55     background: url(popUpArrows.png) right no-repeat;
  56     border: none;
  57     height: 15px;
  58     font-size: 10px;
  59     line-height: 10px;
  60     padding: 0 20px 0 5px;
  61     margin: 0;
  62     overflow: hidden;
  63     text-overflow: ellipsis;
  64     white-space: nowrap;
  65     position: relative;
  66     min-width: 100px;
  67     max-width: 350px;
  68 }
  69
  70 #filesPopupButtonContent {
  71     overflow: hidden;
  72     text-overflow: ellipsis;
  73     white-space: nowrap;
  74     width: 100%;
  75     height: 100%;
  76     line-height: 12px;
  77     text-align: left;
  78 }
  79
  80 .placeholder { color: rgba(0, 0, 0, 0.6) }
  81
  82 button.nav {
  83     position: relative;
  84     width: 32px;
  85     height: 15px;
  86     border: none;
  87     margin: 0;
  88     padding: 0;
  89     border-left: 1px solid transparent;
  90     border-right: 1px solid #aaa;
  91 }
  92
  93 button.nav.right {
  94     background: url(navRightNormal.png) no-repeat;
  95 }
  96
  97 button.nav.right:disabled, button.nav.right:disabled:active {
  98     border-left: 1px solid transparent;
  99     background: url(navRightDisabled.png) no-repeat;
 100 }
 101
 102 button.nav.right:active {
 103     border-left: 1px solid rgba(0, 0, 0, 0.3);
 104     background: url(navRightPressed.png) no-repeat;
 105 }
 106
 107 button.nav.left {
 108     background: url(navLeftNormal.png) no-repeat;
 109 }
 110
 111 button.nav.left:disabled, button.nav.left:disabled:active {
 112     border-left: 1px solid transparent;
 113     background: url(navLeftDisabled.png) no-repeat;
 114 }
 115
 116 button.nav.left:active {
 117     margin-left: 0;
 118     border-left: 1px solid rgba(0, 0, 0, 0.3);
 119     background: url(navLeftPressed.png) no-repeat;
 120 }
 121
 122 #leftPane {
 123     position: absolute;
 124     top: 0;
 125     bottom: 10px;
 126     left: 0;
 127     width: 253px;
 128     padding: 0;
 129     margin: 0;
 130 }
 131
 132 #rightPane {
 133     position: absolute;
 134     top: 0;
 135     bottom: 0;
 136     right: 0;
 137     left: 253px;
 138     padding: 0;
 139     margin: 0;
 140 }
 141
 142 #stackframe {
 143     position: absolute;
 144     top: 0;
 145     bottom: 0;
 146     right: 0;
 147     left: 0;
 148 }
 149
 150 #stackframeBody {
 151     overflow-y: scroll;
 152     overflow-x: hidden;
 153     position: absolute;
 154     top: 16px;
 155     bottom: 0;
 156     right: 0;
 157     left: 0;
 158 }
 159
 160 #variables {
 161     position: absolute;
 162     top: 0;
 163     bottom: 10px;
 164     right: 0;
 165     left: 10px;
 166 }
 167
 168 #variablesBody {
 169     overflow-y: scroll;
 170     overflow-x: hidden;
 171     position: absolute;
 172     top: 16px;
 173     bottom: 0;
 174     right: 0;
 175     left: 0;
 176 }
 177
 178 .infoBackground {
 179     background: url(background_stripe.png) repeat;
 180     position: absolute;
 181     top: 0;
 182     bottom: 0;
 183     right: 0;
 184     left: 0;
 185     z-index: -1;
 186 }
 187
 188 table {
 189     font-family: "Lucida Grande", sans-serif;
 190     font-size: 11px;
 191     border-collapse: collapse;
 192     border-spacing: 0;
 193     width: 100%;
 194     padding: 0;
 195     margin: 0;
 196     border: 0;
 197 }
 198
 199 td { padding: 3px 7px 3px 9px; height: 15px; box-sizing: border-box; }
 200
 201 .stackNumber {
 202     width: 2em;
 203     padding: 3px 0;
 204     text-align: center;
 205 }
 206
 207 .variable {
 208     width: 170px;
 209 }
 210
 211 .column th.scrollCorner {
 212     width: 15px;
 213     padding: 0;
 214     border-right: none;
 215 }
 216
 217 #variableColumnResizer {
 218     position: absolute;
 219     top: 0;
 220     left: 168px;
 221     width: 4px;
 222     height: 16px;
 223     cursor: col-resize;
 224 }
 225
 226 .column th {
 227     background: url(glossyHeader.png) repeat-x;
 228     border-right: 1px solid #d9d9d9;
 229     height: 15px;
 230     box-sizing: border-box;
 231     border-bottom: 1px solid #aaa;
 232     font-weight: normal;
 233     vertical-align: middle;
 234     padding: 0 8px;
 235     text-align: left;
 236     -webkit-user-select: none;
 237 }