keeping up with classic; make labels do better & clean up margins of some elements

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

diff --git a/EarlyBlue/global/formatting.css b/EarlyBlue/global/formatting.css
index 38c70e1337cf21e9157fea9c4b47e4d6a7653d50..ec9732a602cd295e4859ee1147793979f2b7e349 100644 (file)
--- a/EarlyBlue/global/formatting.css
+++ b/EarlyBlue/global/formatting.css
@@ -38,159 +38,132 @@
 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
 
 /* inset areas */
-.inset
-  {
-    border                : 1px inset #CCD0DD;
-    margin                : 0px 5px 5px 5px;
-  }
+.inset {
+  border: 1px inset #CCD0DD;
+  margin: 0px 5px 5px 5px;
+}
   
 /* formatting */
-.groove-top
-  {
-    border-top            : 2px groove #CCD0DD;  
-  }
+.groove-top {
+  border-top: 2px groove #CCD0DD;  
+}
   
-.groove-right
-  {
-    border-right          : 2px groove #CCD0DD;
-  }
+.groove-right {
+  border-right: 2px groove #CCD0DD;
+}
   
-.groove-left
-  {
-    border-left           : 2px groove #CCD0DD;
-  }
+.groove-left {
+  border-left: 2px groove #CCD0DD;
+}
   
-.groove-bottom
-  {
-    border-bottom         : 2px groove #CCD0DD;
-  }
+.groove-bottom {
+  border-bottom: 2px groove #CCD0DD;
+}
   
-.outset
-  {
-    border                : 1px outset #CCD0DD;
-  }  
+.outset {
+  border: 1px outset #CCD0DD;
+}  
 
 /** separator rules **/
 /* standard separators */
-  separator, separator[orient="horizontal"] 
-    {
-      height: 1.5em;
-    }
+separator, separator[orient="horizontal"] {
+  height: 1.5em;
+}
   
-  separator[orient="vertical"] 
-    {
-      width: 1.5em;
-    }
+separator[orient="vertical"] {
+  width: 1.5em;
+}
 
 /* thinner separators (50% size) */
-  separator.thin, separator.thin[orient="horizontal"] 
-    {
-      height: 0.5em;
-    }
+separator.thin, separator.thin[orient="horizontal"] {
+  height: 0.5em;
+}
   
-  separator.thin[orient="vertical"] 
-    {
-      width: 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,
+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;
-    }
+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.groove-thin {
+  border-top: 2px groove #CCD0DD;
+  height: 0px;
+}
   
-  separator[orient="vertical"].groove-thin 
-    {
-      border-left: 2px groove #CCCCCC;
-    }
+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; */
-    }
+.small-margin {
+  margin: 0px 1px;
+}
     
-  label[disabled="true"] 
-    {
-      color               : #9999CC;
-    }    
-
-  description, label
-    {
-      cursor              : default;
-    }
+label[disabled="true"] {
+  color: #9999CC;
+}    
+
+description, label {
+  cursor: default;
+  margin: 1px 3px;
+}
    
-  description
-    {
-/*      margin              : 1px 5px 4px 5px; */
-    }
+description {
+/*  margin: 1px 5px 4px 5px; */
+}
 
-  label
-    {
-/*      margin              : 1px 5px 2px 6px; */
-    }
+label {
+/*  margin: 1px 5px 2px 6px; */
+}
 
-  .header 
-    {
-      font-weight         : bold;
-    }
+.header {
+  font-weight: bold;
+}
 
-  .larger-text 
-    {
-      font-size           : larger;
-    }
+.larger-text {
+  font-size: larger;
+}
 
-  .smaller-text 
-    {
-      font-size           : smaller;
-    }
+.smaller-text {
+  font-size: smaller;
+}
    
-  .monospace
-    {
-      font-family         : monospace;
-    }
+.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;
-    }
-
+.indent {
+/*  margin-left: 23px; */
+  margin-left: 15px;
+}
+
+.box-padded  {
+  padding: 5px;
+}    
+
+.spaced {
+  margin: 1px 3px;
+}    
+
+.wizard-box {
+  padding: 15px 35px 10px 35px;
+}    
+
+.caption-text {
+  margin: 0px 2px 0px 1px !important;
+}