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 }