webengine/osswebengine/WebKitTools/Drosera/viewer.css
changeset 0 dd21522fd290
equal deleted inserted replaced
-1:000000000000 0:dd21522fd290
       
     1 /*
       
     2  * Copyright (C) 2006, 2007 Apple 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 body { background-image: url(gutter.png); background-repeat: repeat-y; margin: 0; padding: 0; }
       
    30 img { padding: 0; margin: 0; }
       
    31 
       
    32 table { border-spacing: 0; padding: 0; margin: 0; width: 100%; }
       
    33 .gutter { -webkit-user-select: none; cursor: default; width: 32px; min-width: 32px; max-width: 32px; -webkit-box-sizing: border-box; font-size: 9px; font-family: Helvetica; color: #888; text-align: right; padding-right: 4px; }
       
    34 .source { font-family: Monaco, monospace; white-space: pre; padding-left: 4px; padding-right: 4px; font-size: 11px; line-height: 14px; }
       
    35 
       
    36 .keyword { color: #8b0053 }
       
    37 .string { color: #a00000 }
       
    38 .number { color: #2900ff }
       
    39 .comment { color: #007215 }
       
    40 
       
    41 td.gutter:after { content: attr(title); -webkit-user-select: none; }
       
    42 
       
    43 .breakpoint td.gutter, .current td.gutter { padding-right: 1px; vertical-align: top; }
       
    44 .breakpoint td.gutter:after { content: url(breakPoint.tif); -webkit-user-select: none; vertical-align: middle; }
       
    45 .breakpoint.disabled td.gutter:after { content: url(breakPointDisabled.tif); }
       
    46 
       
    47 .current td.gutter:after { content: url(programCounter.tif); -webkit-user-select: none; vertical-align: middle; }
       
    48 .current.breakpoint td.gutter:after { content: url(programCounterBreakPoint.tif); }
       
    49 .current.breakpoint.disabled td.gutter:after { content: url(programCounterBreakPointDisabled.tif); }
       
    50 .current td.source { background-color: #abbffe; outline: 1px solid #406ffd; }
       
    51 
       
    52 #breakpointDrag {
       
    53     position: absolute;
       
    54     top: 0;
       
    55     left: 0;
       
    56     z-index: 100;
       
    57     -webkit-user-select: none;
       
    58     cursor: default;
       
    59 }
       
    60 
       
    61 .editor {
       
    62     top: -2px;
       
    63     left: -2px;
       
    64     margin-bottom: -2px;
       
    65     position: relative;
       
    66     min-width: 350px;
       
    67     max-width: 500px;
       
    68     border-width: 20px 12px 11px 36px;
       
    69     border-color: transparent;
       
    70     border-style: solid;
       
    71     -webkit-border-image: url(breakpointeditor.png) 20 12 11 36;
       
    72     font-size: 11px;
       
    73     font-family: 'Lucida Grande', sans-serif;
       
    74 }
       
    75 
       
    76 .editor .top {
       
    77     position: absolute;
       
    78     height: 20px;
       
    79     -webkit-border-top-right-radius: 6px;
       
    80     background-color: rgb(0, 134, 226);
       
    81     border-bottom: 2px solid rgb(0, 110, 208);
       
    82     top: -4px;
       
    83     right: -5px;
       
    84     left: -5px;
       
    85     padding-left: 5px;
       
    86     padding-right: 5px;
       
    87 }
       
    88 
       
    89 .editor .bottom {
       
    90     position: relative;
       
    91     padding: 5px 0;
       
    92     top: 20px;
       
    93 }
       
    94 
       
    95 .editor .top label {
       
    96     margin-left: 15px;
       
    97 }
       
    98 
       
    99 .editor span.hitCounter {
       
   100     margin-right: 4px;
       
   101     margin-top: 1px;
       
   102     padding-right: 2px;
       
   103     padding-left: 2px;
       
   104 }
       
   105 
       
   106 .editor select.editorDropdown {
       
   107     margin-top: -1px;
       
   108 }
       
   109 
       
   110 .editor div.condition {
       
   111     position: relative;
       
   112     background-color: white;
       
   113     -webkit-user-modify: read-write-plaintext-only;
       
   114     -webkit-nbsp-mode: space;
       
   115     -webkit-line-break: after-white-space;
       
   116     word-wrap: break-word;
       
   117     outline: none;
       
   118     font-family: monospace;
       
   119     font-size: 10px;
       
   120     line-height: 10px;
       
   121     padding: 3px;
       
   122     border: 1px solid darkgray;
       
   123     top: -15px;
       
   124     left: 65px;
       
   125     margin-right: 65px;
       
   126 }
       
   127 
       
   128 .editor input.close {
       
   129     margin:0px;
       
   130     margin-right: -4px;
       
   131     float: right;
       
   132     background-color: transparent;
       
   133     background-image:url("close.tif");
       
   134     background-repeat: no-repeat;
       
   135     height: 13px;
       
   136     width: 12px;
       
   137     border: none;
       
   138 }
       
   139 
       
   140 .editor input.close:active {
       
   141     background-image:url("close_active.tif");
       
   142 }
       
   143 
       
   144 .editor input.close:hover {
       
   145     background-image:url("close_hover.tif");
       
   146 }