updating bookmarks component so that skin is working again with current builds
[themes.git] / EarlyBlue / global / skin / splitter.css
index bcabaaecc7b0ab1ce8740e886811e710ebea0ac5..b1583933bca9d20ac49b93e259aa84008db87a19 100755 (executable)
@@ -1,70 +1,70 @@
-/******* Splitters *******/\r
-\r
-splitter \r
-  {\r
-    cursor                : e-resize;\r
-    background-color      : #CCD0DD;\r
-    vertical-align        : middle;\r
-    text-align            : center;\r
-    padding               : 0px;\r
-  }\r
-\r
-splitter[state="dragging"]\r
-  {\r
-    background-color      : #999999;\r
-  }\r
-\r
-grippy\r
-  {\r
-    margin                : 0px;\r
-    border                : 1px outset #CCD0DD;\r
-    padding               : 0px;\r
-    list-style-image      : url("chrome://global/skin/grippy-vertical-before.gif");\r
-    cursor                : pointer;\r
-  }\r
-\r
-splitter[state="collapsed"] > grippy\r
-  {\r
-    list-style-image      : url("chrome://global/skin/grippy-vertical-after.gif");\r
-  }\r
-\r
-grippy:hover\r
-  {\r
-    background-color      : #99CCFF;\r
-  }\r
-\r
-grippy:hover:active\r
-  {\r
-    border                : 1px inset #CCD0DD;\r
-  }\r
-\r
-/* vertical splitters */\r
-  window > splitter, box > splitter \r
-    {\r
-      width               : 8px;\r
-      border-left         : 1px solid #9999CC;\r
-      border-right        : 1px solid #9999CC;\r
-    }\r
-  \r
-/* horizontal splitters */  \r
-  /* XXX we should comment out the 'align' support to force people to migrate \r
-         to 'orient' */\r
-  rows > splitter,\r
-  window[orient="vertical"] > splitter,\r
-  box[orient="vertical"] > splitter,\r
-  window[align="vertical"] > splitter,\r
-  box[align="vertical"] > splitter\r
-    {\r
-      cursor              : n-resize;\r
-      border-top          : 1px solid #9999CC;\r
-      border-right        : 1px solid #9999CC;\r
-    }\r
-\r
-  rows > splitter > grippy,\r
-  window[orient="vertical"] > splitter grippy,\r
-  box[orient="vertical"] > splitter grippy,\r
-  window[align="vertical"] > splitter grippy,\r
-  box[align="vertical"] > splitter grippy\r
-    {\r
-      list-style-image      : url("chrome://global/skin/grippy-vertical-before.gif");\r
-    }
\ No newline at end of file
+/******* Splitters *******/
+
+splitter 
+  {
+    cursor                : e-resize;
+    background-color      : #CCD0DD;
+    vertical-align        : middle;
+    text-align            : center;
+    padding               : 0px;
+  }
+
+splitter[state="dragging"]
+  {
+    background-color      : #999999;
+  }
+
+grippy
+  {
+    margin                : 0px;
+    border                : 1px outset #CCD0DD;
+    padding               : 0px;
+    list-style-image      : url("chrome://global/skin/grippy-vertical-before.gif");
+    cursor                : pointer;
+  }
+
+splitter[state="collapsed"] > grippy
+  {
+    list-style-image      : url("chrome://global/skin/grippy-vertical-after.gif");
+  }
+
+grippy:hover
+  {
+    background-color      : #99CCFF;
+  }
+
+grippy:hover:active
+  {
+    border                : 1px inset #CCD0DD;
+  }
+
+/* vertical splitters */
+  window > splitter, box > splitter 
+    {
+      width               : 8px;
+      border-left         : 1px solid #9999CC;
+      border-right        : 1px solid #9999CC;
+    }
+  
+/* horizontal splitters */  
+  /* XXX we should comment out the 'align' support to force people to migrate 
+         to 'orient' */
+  rows > splitter,
+  window[orient="vertical"] > splitter,
+  box[orient="vertical"] > splitter,
+  window[align="vertical"] > splitter,
+  box[align="vertical"] > splitter
+    {
+      cursor              : n-resize;
+      border-top          : 1px solid #9999CC;
+      border-bottom       : 1px solid #9999CC;
+    }
+
+  rows > splitter > grippy,
+  window[orient="vertical"] > splitter grippy,
+  box[orient="vertical"] > splitter grippy,
+  window[align="vertical"] > splitter grippy,
+  box[align="vertical"] > splitter grippy
+    {
+      list-style-image      : url("chrome://global/skin/grippy-vertical-before.gif");
+    }