Home | History | Annotate | Download | only in 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  * 1. Redistributions of source code must retain the above copyright
      8  *    notice, this list of conditions and the following disclaimer.
      9  * 2. Redistributions in binary form must reproduce the above copyright
     10  *    notice, this list of conditions and the following disclaimer in the
     11  *    documentation and/or other materials provided with the distribution.
     12  *
     13  * THIS SOFTWARE IS PROVIDED BY APPLE COMPUTER, INC. ``AS IS'' AND ANY
     14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE COMPUTER, INC. OR
     17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
     18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
     19  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
     20  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     21  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     22  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     23  */
     24 
     25 body {
     26     margin: 0
     27 }
     28 
     29 table {
     30     width: 100%;
     31     border-spacing: 0;
     32     counter-reset: lines;
     33     white-space: pre-wrap !important;
     34     margin: 0;
     35     word-break: break-word;
     36     font-size: initial;
     37     font-family: monospace;
     38 }
     39 
     40 td {
     41     padding: 0 !important;
     42     vertical-align: baseline
     43 }
     44 
     45 .webkit-line-gutter-backdrop, .webkit-line-number {
     46     /* Keep this in sync with inspector.css (.webkit-line-gutter-backdrop) */
     47     box-sizing: border-box;
     48     padding: 0 4px !important;
     49     width: 31px;
     50     background-color: rgb(240, 240, 240);
     51     border-right: 1px solid rgb(187, 187, 187) !important;
     52     -webkit-user-select: none;
     53 }
     54 
     55 .webkit-line-gutter-backdrop {
     56     /* Keep this in sync with inspector.css (.webkit-line-gutter-backdrop) */
     57     position: absolute;
     58     z-index: -1;
     59     left: 0;
     60     top: 0;
     61     height: 100%
     62 }
     63 
     64 .webkit-line-number {
     65     text-align: right;
     66     color: rgb(128, 128, 128);
     67     word-break: normal;
     68     white-space: nowrap;
     69     font-size: 9px;
     70     font-family: Helvetica
     71 }
     72 
     73 .webkit-line-number::before {
     74     content: counter(lines);
     75     counter-increment: lines;
     76     -webkit-user-select: none
     77 }
     78 
     79 .webkit-line-content {
     80     padding: 0 5px !important;
     81 }
     82 
     83 .webkit-html-tag {
     84     /* Keep this in sync with inspector.css (.webkit-html-tag) */
     85     color: rgb(136, 18, 128);
     86 }
     87 
     88 .webkit-html-attribute-name {
     89     /* Keep this in sync with inspector.css (.webkit-html-attribute-name) */
     90     color: rgb(153, 69, 0);
     91 }
     92 
     93 .webkit-html-attribute-value {
     94     /* Keep this in sync with inspector.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 inspector.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 inspector.css (.webkit-html-external-link) */
    105     text-decoration: none;
    106 }
    107 
    108 .webkit-html-external-link:hover {
    109     /* Keep this in sync with inspector.css (.webkit-html-external-link:hover) */
    110     text-decoration: underline;
    111 }
    112 
    113 .webkit-html-comment {
    114     /* Keep this in sync with inspector.css (.webkit-html-comment) */
    115     color: rgb(35, 110, 37);
    116 }
    117 
    118 .webkit-html-doctype {
    119     /* Keep this in sync with inspector.css (.webkit-html-doctype) */
    120     color: rgb(192, 192, 192);
    121 }
    122 
    123 .webkit-html-entity {
    124     rgb(136, 18, 128);
    125 }
    126 
    127 .webkit-html-message-bubble {
    128     -webkit-box-shadow: black 0px 2px 5px;
    129     -webkit-border-radius: 9px;
    130     -webkit-border-fit: lines;
    131     min-height: 13px;
    132     font-size: 9px;
    133     font-family: Lucida Grande, sans-serif;
    134     font-weight: bold;
    135     margin: 6px 25px;
    136     padding: 0 7px 1px;
    137 }
    138 
    139 .webkit-html-warning-message {
    140     background-color: rgb(100%, 62%, 42%);
    141     border: 2px solid rgb(100%, 52%, 21%);
    142 }
    143 
    144 .webkit-html-error-message {
    145     background-color: rgb(100%, 42%, 42%);
    146     border: 2px solid rgb(100%, 31%, 31%);
    147 }
    148 
    149 .webkit-html-message-line {
    150     padding-left: 23px;
    151     text-indent: -20px;
    152 }
    153 
    154 .webkit-html-message-icon {
    155     position: relative;
    156     top: 2px;
    157     margin: 0 4px;
    158 }
    159