update to suite default status of 2009-01-30: bug 474807 - replace 4-piece margin...

[themes.git] / EarlyBlue / editor / editor.css

diff --git a/EarlyBlue/editor/editor.css b/EarlyBlue/editor/editor.css
index e8c86ab3f9b324b1472ab0ef9b4939f9fdff2d3b..c40a60c936d8380475b9e193131aff48bfc63793 100644 (file)
--- a/EarlyBlue/editor/editor.css
+++ b/EarlyBlue/editor/editor.css
@@ -47,11 +47,17 @@
 
 .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,
      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 */