webengine/osswebengine/WebKitTools/Drosera/viewer.css
author Kiiskinen Klaus (Nokia-D-MSW/Tampere) <klaus.kiiskinen@nokia.com>
Mon, 30 Mar 2009 12:54:55 +0300
changeset 0 dd21522fd290
permissions -rw-r--r--
Revision: 200911 Kit: 200912

/*
 * Copyright (C) 2006, 2007 Apple Inc. All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * 1.  Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer. 
 * 2.  Redistributions in binary form must reproduce the above copyright
 *     notice, this list of conditions and the following disclaimer in the
 *     documentation and/or other materials provided with the distribution. 
 * 3.  Neither the name of Apple Computer, Inc. ("Apple") nor the names of
 *     its contributors may be used to endorse or promote products derived
 *     from this software without specific prior written permission. 
 *
 * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
 * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
 * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
 * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

body { background-image: url(gutter.png); background-repeat: repeat-y; margin: 0; padding: 0; }
img { padding: 0; margin: 0; }

table { border-spacing: 0; padding: 0; margin: 0; width: 100%; }
.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; }
.source { font-family: Monaco, monospace; white-space: pre; padding-left: 4px; padding-right: 4px; font-size: 11px; line-height: 14px; }

.keyword { color: #8b0053 }
.string { color: #a00000 }
.number { color: #2900ff }
.comment { color: #007215 }

td.gutter:after { content: attr(title); -webkit-user-select: none; }

.breakpoint td.gutter, .current td.gutter { padding-right: 1px; vertical-align: top; }
.breakpoint td.gutter:after { content: url(breakPoint.tif); -webkit-user-select: none; vertical-align: middle; }
.breakpoint.disabled td.gutter:after { content: url(breakPointDisabled.tif); }

.current td.gutter:after { content: url(programCounter.tif); -webkit-user-select: none; vertical-align: middle; }
.current.breakpoint td.gutter:after { content: url(programCounterBreakPoint.tif); }
.current.breakpoint.disabled td.gutter:after { content: url(programCounterBreakPointDisabled.tif); }
.current td.source { background-color: #abbffe; outline: 1px solid #406ffd; }

#breakpointDrag {
    position: absolute;
    top: 0;
    left: 0;
    z-index: 100;
    -webkit-user-select: none;
    cursor: default;
}

.editor {
    top: -2px;
    left: -2px;
    margin-bottom: -2px;
    position: relative;
    min-width: 350px;
    max-width: 500px;
    border-width: 20px 12px 11px 36px;
    border-color: transparent;
    border-style: solid;
    -webkit-border-image: url(breakpointeditor.png) 20 12 11 36;
    font-size: 11px;
    font-family: 'Lucida Grande', sans-serif;
}

.editor .top {
    position: absolute;
    height: 20px;
    -webkit-border-top-right-radius: 6px;
    background-color: rgb(0, 134, 226);
    border-bottom: 2px solid rgb(0, 110, 208);
    top: -4px;
    right: -5px;
    left: -5px;
    padding-left: 5px;
    padding-right: 5px;
}

.editor .bottom {
    position: relative;
    padding: 5px 0;
    top: 20px;
}

.editor .top label {
    margin-left: 15px;
}

.editor span.hitCounter {
    margin-right: 4px;
    margin-top: 1px;
    padding-right: 2px;
    padding-left: 2px;
}

.editor select.editorDropdown {
    margin-top: -1px;
}

.editor div.condition {
    position: relative;
    background-color: white;
    -webkit-user-modify: read-write-plaintext-only;
    -webkit-nbsp-mode: space;
    -webkit-line-break: after-white-space;
    word-wrap: break-word;
    outline: none;
    font-family: monospace;
    font-size: 10px;
    line-height: 10px;
    padding: 3px;
    border: 1px solid darkgray;
    top: -15px;
    left: 65px;
    margin-right: 65px;
}

.editor input.close {
    margin:0px;
    margin-right: -4px;
    float: right;
    background-color: transparent;
    background-image:url("close.tif");
    background-repeat: no-repeat;
    height: 13px;
    width: 12px;
    border: none;
}

.editor input.close:active {
    background-image:url("close_active.tif");
}

.editor input.close:hover {
    background-image:url("close_hover.tif");
}