EarlyBlue: remove obsoleted icons from extensions, update to new CSS for the new...
[themes.git] / EarlyBlue / editor / editor.css
index e3a06d6e201e35855ca9fd01a2c6fd01699ed98b..c40a60c936d8380475b9e193131aff48bfc63793 100644 (file)
@@ -13,7 +13,7 @@
  *
  * The Original Code is mozilla.org code.
  *
- * The Initial Developer of the Original Code is 
+ * The Initial Developer of the Original Code is
  * Netscape Communications Corporation.
  * Portions created by the Initial Developer are Copyright (C) 1998
  * the Initial Developer. All Rights Reserved.
@@ -22,7 +22,7 @@
  *   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 
+ * 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
  * ***** END LICENSE BLOCK ***** */
 
 @import url(chrome://communicator/skin/);
-@import url(chrome://communicator/skin/sidebar/sidebar.css);
 
 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
 
-#content-frame { 
-  min-width: 10px; 
+#content-frame {
+  min-width: 10px;
   min-height: 10px;
   height: 400px;
-} 
+}
 
 .source-editor,
 .source-editor:focus {
-  margin: 0px 5px 5px 0px;
+  margin-top: 0px;
+  margin-bottom: 5px;
+  -moz-margin-start: 0px;
+  -moz-margin-end: 5px;
   border: 0px;
-  /* Scroll bars are in content, 
+  /* Scroll bars are in content,
      so we can't use right and bottom padding! */
-  padding: 5px 0px 0px 5px;
+  padding-top: 5px;
+  padding-bottom: 0px;
+  -moz-padding-start: 5px;
+  -moz-padding-end: 0px;
 }
 
 /* Multiline textarea for HTML source editing */