debian/libwebkit-engine/usr/share/ewebkit-0/webinspector/inspectorSyntaxHighlight.css

   1 /*
   2  * Copyright (C) 2009 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 .webkit-css-comment {
  30     color: rgb(0, 116, 0);
  31 }
  32
  33 .webkit-css-url, .webkit-css-color, .webkit-css-string, .webkit-css-keyword {
  34     color: rgb(7, 144, 154);
  35  }
  36
  37 .webkit-css-number {
  38     color: rgb(50, 0, 255);
  39 }
  40
  41 .webkit-css-property, .webkit-css-at-rule {
  42     color: rgb(200, 0, 0);
  43 }
  44
  45 .webkit-css-selector {
  46     color: black;
  47 }
  48
  49 .webkit-css-important {
  50     color: rgb(200, 0, 180);
  51 }
  52
  53 .webkit-javascript-comment {
  54     color: rgb(0, 116, 0);
  55 }
  56
  57 .webkit-javascript-keyword {
  58     color: rgb(170, 13, 145);
  59 }
  60
  61 .webkit-javascript-number {
  62     color: rgb(28, 0, 207);
  63 }
  64
  65 .webkit-javascript-string, .webkit-javascript-regexp {
  66     color: rgb(196, 26, 22);
  67 }
  68
  69 .webkit-javascript-ident {
  70     color: black;
  71 }
  72
  73 .webkit-html-comment {
  74     /* Keep this in sync with view-source.css (.webkit-html-comment) */
  75     color: rgb(35, 110, 37);
  76 }
  77
  78 .webkit-html-tag {
  79     /* Keep this in sync with view-source.css (.webkit-html-tag) */
  80     color: rgb(136, 18, 128);
  81 }
  82
  83 .webkit-html-doctype {
  84     /* Keep this in sync with view-source.css (.webkit-html-doctype) */
  85     color: rgb(192, 192, 192);
  86 }
  87
  88 .webkit-html-attribute-name {
  89     /* Keep this in sync with view-source.css (.webkit-html-attribute-name) */
  90     color: rgb(153, 69, 0);
  91 }
  92
  93 .webkit-html-attribute-value {
  94     /* Keep this in sync with view-source.css (.webkit-html-attribute-value) */
  95     color: rgb(26, 26, 166);
  96 }
  97
  98 .webkit-html-external-link, .webkit-html-resource-link {
  99     /* Keep this in sync with view-source.css (.webkit-html-external-link, .webkit-html-resource-link) */
 100     color: #00e;
 101 }
 102
 103 .webkit-html-external-link {
 104     /* Keep this in sync with view-source.css (.webkit-html-external-link) */
 105     text-decoration: none;
 106 }
 107
 108 .webkit-html-external-link:hover {
 109     /* Keep this in sync with view-source.css (.webkit-html-external-link:hover) */
 110     text-decoration: underline;
 111 }