updating EarlyBlue skin; should almost be 0.8 now ;-)
[themes.git] / EarlyBlue / editor / editor.css
index b8c64fc3afcbbd7509b36d4bfd4d0ecc91ecbf29..ebd3d79494130d47ced2d26d88a0dc617c202387 100644 (file)
 
 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
 
-/* Note: most of our styles are in EditorToolbars.css 
-   in order to share with all users of editor
-*/
-
-/********* image pre-cacheing ********/
-#resource_bundle_editor{
-  -moz-binding            : url('chrome://editor/skin/resources.xml#resource_bundle_editor') 
-}
-
 #content-frame { 
   min-width: 10px; 
   min-height: 10px;
   height: 400px;
 } 
 
-.source-editor, .source-editor:focus {
+.source-editor,
+.source-editor:focus {
   margin: 0px 5px 5px 0px;
   border: 0px;
   /* Scroll bars are in content, 
 }
 
 /* Multiline textarea for HTML source editing */
-#content-source, #doctype-text
-  {
-    font-family   : -moz-fixed;
-  }
+#content-source,
+#doctype-text {
+  font-family: -moz-fixed;
+}
 
+#appcontent {
+}
+
+#ContentWindowDeck {
+}