Reviewed by Geoff.
[WebKit-https.git] / WebKitTools / Drosera / viewer.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 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; }
33 .gutter { -webkit-user-select: none; width: 32px; min-width: 32px; max-width: 32px; 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 }
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: middle; }
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 }