Source/WebCore/inspector/front-end/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-bang-keyword {
  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-whitespace-1::before {
  74     content: "·";
  75 }
  76
  77 .webkit-whitespace-2::before {
  78     content: "··";
  79 }
  80
  81 .webkit-whitespace-4::before {
  82     content: "····";
  83 }
  84
  85 .webkit-whitespace-8::before {
  86     content: "········";
  87 }
  88
  89 .webkit-whitespace-16::before {
  90     content: "················";
  91 }
  92
  93 .webkit-whitespace::before {
  94     position: absolute;
  95     color: rgb(175, 175, 175);
  96 }
  97
  98 .webkit-html-comment {
  99     /* Keep this in sync with view-source.css (.webkit-html-comment) */
 100     color: rgb(35, 110, 37);
 101 }
 102
 103 .webkit-html-tag {
 104     /* Keep this in sync with view-source.css (.webkit-html-tag) */
 105     color: rgb(136, 18, 128);
 106 }
 107
 108 .webkit-html-doctype {
 109     /* Keep this in sync with view-source.css (.webkit-html-doctype) */
 110     color: rgb(192, 192, 192);
 111 }
 112
 113 .webkit-html-attribute-name {
 114     /* Keep this in sync with view-source.css (.webkit-html-attribute-name) */
 115     color: rgb(153, 69, 0);
 116 }
 117
 118 .webkit-html-attribute-value {
 119     /* Keep this in sync with view-source.css (.webkit-html-attribute-value) */
 120     color: rgb(26, 26, 166);
 121 }
 122
 123 .webkit-html-external-link, .webkit-html-resource-link {
 124     /* Keep this in sync with view-source.css (.webkit-html-external-link, .webkit-html-resource-link) */
 125     color: #00e;
 126 }
 127
 128 .webkit-html-external-link {
 129     /* Keep this in sync with view-source.css (.webkit-html-external-link) */
 130     text-decoration: none;
 131 }
 132
 133 .webkit-html-external-link:hover {
 134     /* Keep this in sync with view-source.css (.webkit-html-external-link:hover) */
 135     text-decoration: underline;
 136 }