X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=EarlyBlue%2Feditor%2Feditor.css;h=e8c86ab3f9b324b1472ab0ef9b4939f9fdff2d3b;hp=f0ef24bdd1f7d4fda91e20f117b291f01f801391;hb=39d844b6a82edf28c0fac42c1f92f0ba3cbb7fa2;hpb=d7b401aa5e2e90dbc0d350b459bca6f1f0ce46f7 diff --git a/EarlyBlue/editor/editor.css b/EarlyBlue/editor/editor.css index f0ef24bd..e8c86ab3 100644 --- a/EarlyBlue/editor/editor.css +++ b/EarlyBlue/editor/editor.css @@ -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 * * 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 @@ -36,21 +36,20 @@ * ***** 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; 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; } @@ -71,7 +70,7 @@ #structToolbar { min-width: 1px; - overflow: hidden; + overflow: -moz-hidden-unscrollable; } #structSpacer { @@ -87,7 +86,6 @@ } .struct-textbox { - -moz-appearance: none !important; padding: 0px !important; margin: 0px !important; border: none !important;