LCARStrek/browser/devtools/debugger.css

   1 /* -*- Mode: javascript; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
   2 /* vim: set ft=javascript ts=2 et sw=2 tw=80: */
   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 mozilla.org code.
  17  *
  18  * The Initial Developer of the Original Code is
  19  *   Mozilla Foundation
  20  * Portions created by the Initial Developer are Copyright (C) 2011
  21  * the Initial Developer. All Rights Reserved.
  22  *
  23  * Contributor(s):
  24  *   Dave Camp <dcamp@mozilla.com>
  25  *   Victor Porof <vporof@mozilla.com>
  26  *   Panos Astithas <past@mozilla.com>
  27  *
  28  * Alternatively, the contents of this file may be used under the terms of
  29  * either the GNU General Public License Version 2 or later (the "GPL"), or
  30  * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
  31  * in which case the provisions of the GPL or the LGPL are applicable instead
  32  * of those above. If you wish to allow use of your version of this file only
  33  * under the terms of either the GPL or the LGPL, and not to allow others to
  34  * use your version of this file under the terms of the MPL, indicate your
  35  * decision by deleting the provisions above and replace them with the notice
  36  * and other provisions required by the GPL or the LGPL. If you do not delete
  37  * the provisions above, a recipient may use your version of this file under
  38  * the terms of any one of the MPL, the GPL or the LGPL.
  39  *
  40  * ***** END LICENSE BLOCK ***** */
  41
  42 window {
  43   padding: 0;
  44 }
  45
  46 #body {
  47   /* background: #000000; */
  48 }
  49
  50 div,
  51 span,
  52 a {
  53   font: inherit;
  54 }
  55
  56 /**
  57  * Debugger toolbar
  58  */
  59
  60 #dbg-toolbar {
  61   /*padding: 2px;*/
  62 }
  63
  64 #dbg-toolbar > button {
  65   text-align: center;
  66 }
  67
  68 .devtools-closebutton {
  69   list-style-image: url("chrome://navigator/skin/icons/win-close.gif");
  70 }
  71
  72 .devtools-closebutton:hover {
  73   list-style-image: url("chrome://navigator/skin/icons/win-close-hover.gif");
  74 }
  75
  76 /**
  77  * Debugger content
  78  */
  79
  80 #dbg-content {
  81   /* padding: 6px; */
  82 }
  83
  84 #dbg-content > * > .vbox {
  85   background-color: #000000;
  86   border: 1px solid #9C9CFF;
  87 }
  88
  89 #dbg-content > * > .title {
  90   /* text-shadow: 0 1px #fff; */
  91 }
  92
  93 .devtools-side-splitter {
  94   border: none;
  95 }
  96
  97 /**
  98  * Debugger statusbar
  99  */
 100
 101 #dbg-statusbar {
 102 /*  font: -moz-list; */
 103   padding: 2px;
 104   -moz-padding-start: 5px;
 105 }
 106
 107 /**
 108  * Lists and headers
 109  */
 110
 111 .list-item {
 112   padding: 2px;
 113 /*  font: -moz-list; */
 114 }
 115
 116 .list-item.selected {
 117   background: #008484;
 118   color: #FFCF00;
 119 }
 120
 121 .list-item.empty {
 122   color: #8050B0;
 123 }
 124
 125 /**
 126  * Stack frames
 127  */
 128
 129 #stackframes {
 130   /* background-color: white; */
 131 }
 132
 133 .dbg-stackframe {
 134   -moz-padding-start: 4px;
 135   -moz-padding-end: 4px;
 136 }
 137
 138 .dbg-stackframe-name {
 139   font-weight: 600;
 140 }
 141
 142 /**
 143  * Properties elements
 144  */
 145
 146 #variables {
 147 /*  background-color: white; */
 148 }
 149
 150 /**
 151  * Generic element details container
 152  */
 153
 154 .details {
 155   -moz-margin-start: 10px;
 156 }
 157
 158 /**
 159  * Scope element
 160  */
 161
 162 .scope > .title {
 163   margin-top: 1px;
 164   -moz-padding-start: 2px;
 165   background: #E7ADE7;
 166   border-radius: 5px;
 167   color: #000000;
 168 }
 169
 170 .scope > .title > .name {
 171   padding-top: 2px;
 172   padding-bottom: 2px;
 173 }
 174
 175 .scope > .details {
 176   -moz-margin-start: 2px;
 177   -moz-margin-end: 2px;
 178 }
 179
 180 /**
 181  * Variable element
 182  */
 183
 184 .variable {
 185   -moz-margin-start: 1px;
 186   -moz-margin-end: 1px;
 187   border-bottom: 1px dotted #008484;
 188 }
 189
 190 .variable > .title > .name {
 191   padding-top: 2px;
 192   padding-bottom: 2px;
 193   color: #FF9F00;
 194   font-weight: 600;
 195 }
 196
 197 /**
 198  * Property element
 199  */
 200
 201 .property > .title > .key {
 202   padding-top: 2px;
 203   padding-bottom: 2px;
 204   color: #E7ADE7;
 205 }
 206
 207 .property > .title > .value {
 208   padding-top: 2px;
 209   padding-bottom: 2px;
 210 }
 211
 212 /**
 213  * Property colors
 214  */
 215
 216 .token-undefined {
 217   -moz-padding-start: 6px;
 218   color: #8050B0;
 219 }
 220
 221 .token-null {
 222   -moz-padding-start: 6px;
 223   color: #008484;
 224 }
 225
 226 .token-boolean {
 227   -moz-padding-start: 6px;
 228   color: #FFCF00;
 229 }
 230
 231 .token-number {
 232   -moz-padding-start: 6px;
 233   color: #E7ADE7;
 234 }
 235
 236 .token-string {
 237   -moz-padding-start: 6px;
 238   color: #9C9CFF;
 239 }
 240
 241 .token-other {
 242   -moz-padding-start: 6px;
 243   color: #FF9F00;
 244 }
 245
 246 /**
 247  * Expand/collapse arrow
 248  */
 249
 250 .arrow {
 251   width: 9px;
 252   height: 9px;
 253   -moz-margin-start: 5px;
 254   -moz-margin-end: 5px;
 255   background: url("chrome://global/skin/tree/twisty-closed.gif") center center no-repeat;
 256 }
 257
 258 .arrow[open] {
 259   background-image: url("chrome://global/skin/tree/twisty-open.gif");
 260 }
 261
 262 .scope > .title > .arrow {
 263   background-image: url("chrome://global/skin/tree/twisty-closed-selected.gif");
 264 }
 265
 266 .scope > .title > .arrow[open] {
 267   background-image: url("chrome://global/skin/tree/twisty-open-selected.gif");
 268 }
 269
 270 /**
 271  * Animations
 272  */
 273
 274 .details[open] {
 275   -moz-animation-duration: 0.25s;
 276   -moz-animation-name: showblock;
 277 }
 278
 279 @-moz-keyframes showblock {
 280   from {
 281     opacity: 0;
 282     -moz-transform-origin: top;
 283     -moz-transform: scaleY(0);
 284   }
 285
 286   to {
 287     opacity: 1;
 288     -moz-transform-origin: top;
 289     -moz-transform: scaleY(1);
 290   }
 291 }
 292
 293 /**
 294  * Toolbar Controls
 295  */
 296
 297 #resume {
 298   list-style-image: url("chrome://browser/skin/devtools/debugger-pause.png");
 299   -moz-image-region: rect(0px, 16px, 16px, 0px);
 300 }
 301
 302 #resume[checked=true],
 303 #resume:hover {
 304   -moz-image-region: rect(0px, 32px, 16px, 16px);
 305 }
 306
 307 #step-over {
 308   list-style-image: url("chrome://browser/skin/devtools/debugger-step-over.png");
 309   -moz-image-region: rect(0px, 16px, 16px, 0px);
 310 }
 311 #step-over:hover {
 312   -moz-image-region: rect(0px, 32px, 16px, 16px);
 313 }
 314
 315 #step-in {
 316   list-style-image: url("chrome://browser/skin/devtools/debugger-step-in.png");
 317   -moz-image-region: rect(0px, 16px, 16px, 0px);
 318 }
 319 #step-in:hover {
 320   -moz-image-region: rect(0px, 32px, 16px, 16px);
 321 }
 322
 323 #step-out {
 324   list-style-image: url("chrome://browser/skin/devtools/debugger-step-out.png");
 325   -moz-image-region: rect(0px, 16px, 16px, 0px);
 326 }
 327 #step-out:hover {
 328   -moz-image-region: rect(0px, 32px, 16px, 16px);
 329 }
 330
 331 #debugger-controls > toolbarbutton {
 332 }
 333
 334 #debugger-controls > toolbarbutton:last-of-type {
 335 }
 336
 337 #debugger-controls {
 338 }
 339
 340 /**
 341  * Display helpers
 342  */
 343
 344 .unselectable {
 345   padding-top: 2px;
 346   padding-bottom: 2px;
 347 }
 348
 349 .info {
 350   padding-top: 2px;
 351   padding-bottom: 2px;
 352 }