extensions/venkman/resources/skin/venkman-source.css

   1 /* -*- tab-width: 4; indent-tabs-mode: nil -*-
   2  *
   3  * ***** BEGIN LICENSE BLOCK *****
   4  * Version: MPL 1.1/GPL 2.0/LGPL 2.1
   5  *
   6  * The contents of this file are subject to the Mozilla Public License Version
   7  * 1.1 (the "License"); you may not use this file except in compliance with
   8  * the License. You may obtain a copy of the License at
   9  * http://www.mozilla.org/MPL/
  10  *
  11  * Software distributed under the License is distributed on an "AS IS" basis,
  12  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
  13  * for the specific language governing rights and limitations under the
  14  * License.
  15  *
  16  * The Original Code is The JavaScript Debugger.
  17  *
  18  * The Initial Developer of the Original Code is
  19  * Netscape Communications Corporation.
  20  * Portions created by the Initial Developer are Copyright (C) 1998
  21  * the Initial Developer. All Rights Reserved.
  22  *
  23  * Contributor(s):
  24  *   Robert Ginda, <rginda@netscape.com>, original author
  25  *
  26  * Alternatively, the contents of this file may be used under the terms of
  27  * either the GNU General Public License Version 2 or later (the "GPL"), or
  28  * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
  29  * in which case the provisions of the GPL or the LGPL are applicable instead
  30  * of those above. If you wish to allow use of your version of this file only
  31  * under the terms of either the GPL or the LGPL, and not to allow others to
  32  * use your version of this file under the terms of the MPL, indicate your
  33  * decision by deleting the provisions above and replace them with the notice
  34  * and other provisions required by the GPL or the LGPL. If you do not delete
  35  * the provisions above, a recipient may use your version of this file under
  36  * the terms of any one of the MPL, the GPL or the LGPL.
  37  *
  38  * ***** END LICENSE BLOCK ***** */
  39
  40 body {
  41     margin: 0px;
  42     padding: 0px;
  43 }
  44
  45 source-listing {
  46     display: block;
  47     width: 100%;
  48     font-family: monospace, sans-serif;
  49 }
  50
  51 line {
  52     width: 100%;
  53     white-space: pre;
  54     display: block;
  55 }
  56
  57 line[highlighted] {
  58     background: #EEEEEE;
  59 }
  60
  61 line[highlighted] > num {
  62     border-right: 2px #919bd6 solid;
  63     background: #d5d5e0;
  64 }
  65
  66 line[stoppedAt] {
  67     background: #ecef34;
  68 }
  69
  70 line[stoppedAt] > num {
  71     font-weight: bold;
  72     border-right: 2px orange solid;
  73     background: #ecef34;
  74 }
  75
  76 margin {
  77     -moz-user-select: none;
  78     font-weight: bold;
  79     background: #CCCCCC;
  80     padding-bottom: 0.5em;
  81     white-space: pre;
  82     cursor: pointer;
  83 }
  84
  85 margin[x="t"] {
  86     color: #444444;
  87 }
  88
  89 margin[x="t"]:hover {
  90     color: slategrey;
  91 }
  92
  93 margin[f="t"] {
  94     background: orange;
  95     color: white;
  96 }
  97
  98 margin[b="t"] {
  99     background: red;
 100     color: white;
 101 }
 102
 103 num {
 104     -moz-user-select: none;
 105     padding-bottom: 0.5em;
 106     padding-right: 5px;
 107     margin-right: 10px;
 108     border-left: 1px grey solid;
 109     border-right: 2px #CCCCCC solid;
 110     background: #EEEEEE;
 111 }
 112
 113 k {
 114     font-weight: bold;
 115 }
 116
 117 c {
 118     color: steelblue;
 119 }
 120
 121 t {
 122     color: darkgreen;
 123 }
 124
 125 r {
 126     color: purple;
 127 }