update EarlyBlue to recent changes

[themes.git] / EarlyBlue / global / formatting.css

/* ***** BEGIN LICENSE BLOCK *****
 * Version: MPL 1.1/GPL 2.0/LGPL 2.1
 *
 * The contents of this file are subject to the Mozilla Public License Version
 * 1.1 (the "License"); you may not use this file except in compliance with
 * the License. You may obtain a copy of the License at
 * http://www.mozilla.org/MPL/
 *
 * Software distributed under the License is distributed on an "AS IS" basis,
 * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
 * for the specific language governing rights and limitations under the
 * License.
 *
 * The Original Code is "Classic" theme of mozilla.org code.
 *
 * The Initial Developer of the Original Code is
 * the Mozilla Organization.
 * Portions created by the Initial Developer are Copyright (C) 1998-2001
 * the Initial Developer. All Rights Reserved.
 *
 * Contributor(s):
 *   Robert Kaiser <KaiRo@KaiRo.at>
 *
 * Alternatively, the contents of this file may be used under the terms of
 * either the GNU General Public License Version 2 or later (the "GPL"), or
 * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
 * in which case the provisions of the GPL or the LGPL are applicable instead
 * of those above. If you wish to allow use of your version of this file only
 * under the terms of either the GPL or the LGPL, and not to allow others to
 * use your version of this file under the terms of the MPL, indicate your
 * decision by deleting the provisions above and replace them with the notice
 * and other provisions required by the GPL or the LGPL. If you do not delete
 * the provisions above, a recipient may use your version of this file under
 * the terms of any one of the MPL, the GPL or the LGPL.
 *
 * ***** END LICENSE BLOCK ***** */

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

/* inset areas */
.inset
  {
    border                : 1px inset #CCD0DD;
    margin                : 0px 5px 5px 5px;
  }
  
/* formatting */
.groove-top
  {
    border-top            : 2px groove #CCD0DD;  
  }
  
.groove-right
  {
    border-right          : 2px groove #CCD0DD;
  }
  
.groove-left
  {
    border-left           : 2px groove #CCD0DD;
  }
  
.groove-bottom
  {
    border-bottom         : 2px groove #CCD0DD;
  }
  
.outset
  {
    border                : 1px outset #CCD0DD;
  }  

/** separator rules **/
/* standard separators */
  separator, separator[orient="horizontal"] 
    {
      height: 1.5em;
    }
  
  separator[orient="vertical"] 
    {
      width: 1.5em;
    }

/* thinner separators (50% size) */
  separator.thin, separator.thin[orient="horizontal"] 
    {
      height: 0.5em;
    }
  
  separator.thin[orient="vertical"] 
    {
      width: 0.5em;
    }

/* groove separators (50% size) */
  separator.groove,
  separator.groove[orient="horizontal"] 
    {
      border-top: 2px groove #CCD0DD;
      height: 0px;
      margin-top: 0.4em;
      margin-bottom: 0.4em;
    }
  
  separator.groove[orient="vertical"] 
    {
      border-left: 2px groove #CCD0DD;
      margin-left: 0.4em;
      margin-right: 0.4em;
    }
  
/* groove separators (0 padding, for dividing effects) */  
  separator.groove-thin 
    {
      border-top: 2px groove #CCD0DD;
      height: 0px;
    }
  
  separator[orient="vertical"].groove-thin 
    {
      border-left: 2px groove #CCCCCC;
    }

/** text formatting rules **/
/** Reduced Margin for some UI **/
  .small-margin
    {
/*      margin              : 1px 2px 1px 2px; */
    }
    
  label[disabled="true"] 
    {
      color               : #9999CC;
    }    

  description, label
    {
      cursor              : default;
    }
   
  description
    {
/*      margin              : 1px 5px 4px 5px; */
    }

  label
    {
/*      margin              : 1px 5px 2px 6px; */
    }

  .header 
    {
      font-weight         : bold;
    }

  .larger-text 
    {
      font-size           : larger;
    }

  .smaller-text 
    {
      font-size           : smaller;
    }
   
  .monospace
    {
      font-family         : monospace;
    }
    
  .indent
    {
      margin-left         : 23px;
    }

  .box-padded
    {
      padding             : 5px;
    }    

  .spaced
    {
      margin              : 3px 5px 4px 5px;
    }    

  .wizard-box
    {
      padding             : 20px 44px 10px 44px;
    }    

  .caption-text
    {
      margin: 0px 2px 0px 1px !important;
    }