EarlyBlue/inspector/titledSplitter.css

   1 /* ***** BEGIN LICENSE BLOCK *****
   2  * Version: NPL 1.1/GPL 2.0/LGPL 2.1
   3  *
   4  * The contents of this file are subject to the Netscape Public License
   5  * Version 1.1 (the "License"); you may not use this file except in
   6  * compliance with the License. You may obtain a copy of the License at
   7  * http://www.mozilla.org/NPL/
   8  *
   9  * Software distributed under the License is distributed on an "AS IS" basis,
  10  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
  11  * for the specific language governing rights and limitations under the
  12  * License.
  13  *
  14  * The Original Code is mozilla.org code.
  15  *
  16  * The Initial Developer of the Original Code is
  17  * Netscape Communications Corporation.
  18  * Portions created by the Initial Developer are Copyright (C) 2001
  19  * the Initial Developer. All Rights Reserved.
  20  *
  21  * Contributor(s):
  22  *   Joe Hewitt <hewitt@netscape.com> (original author)
  23  *   Robert Kaiser <KaiRo@KaiRo.at>
  24  *
  25  * Alternatively, the contents of this file may be used under the terms of
  26  * either the GNU General Public License Version 2 or later (the "GPL"), or
  27  * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
  28  * in which case the provisions of the GPL or the LGPL are applicable instead
  29  * of those above. If you wish to allow use of your version of this file only
  30  * under the terms of either the GPL or the LGPL, and not to allow others to
  31  * use your version of this file under the terms of the NPL, indicate your
  32  * decision by deleting the provisions above and replace them with the notice
  33  * and other provisions required by the GPL or the LGPL. If you do not delete
  34  * the provisions above, a recipient may use your version of this file under
  35  * the terms of any one of the NPL, the GPL or the LGPL.
  36  *
  37  * ***** END LICENSE BLOCK ***** */
  38
  39 .titled-splitter {
  40   border-top: 1px outset InactiveCaption;
  41   border-bottom: 1px outset InactiveCaption;
  42   background-color: InactiveCaption;
  43   color: InactiveCaptionText;
  44   cursor: default;
  45 }
  46
  47 box[orient="vertical"] > .titled-splitter {
  48   cursor: default;
  49 }
  50
  51 .titledsplitter-container {
  52   padding-bottom: 2px;
  53 }
  54
  55 .titledsplitter-dragbar {
  56   min-height: 2px;
  57   cursor: n-resize !important;
  58 }
  59
  60 .titledsplitter-titlebox {
  61   padding: 0px 5px;
  62 }
  63
  64 .titledsplitter-text {
  65   margin: 0px !important;
  66   font-weight: bold;
  67 }
  68
  69 .titledsplitter-closebutton {
  70   -moz-binding: none;
  71   margin: 1px;
  72   border: 1px outset ThreeDFace;
  73   padding: 2px;
  74   min-width: 0px;
  75   background-color: ThreeDFace;
  76 }
  77
  78 .titledsplitter-closeimage {
  79   list-style-image: url("chrome://inspector/skin/titledsplitter-close.gif");
  80 }
  81
  82 .titledsplitter-closebutton:hover:active {
  83   border-style: inset;
  84   padding-top: 3px;
  85   padding-bottom: 1px;
  86   -moz-padding-start: 3px;
  87   -moz-padding-end: 1px;
  88 }
  89
  90