/* * The contents of this file are subject to the Netscape Public * License Version 1.1 (the "License"); you may not use this file * except in compliance with the License. You may obtain a copy of * the License at http://www.mozilla.org/NPL/ * * Software distributed under the License is distributed on an "AS * IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or * implied. See the License for the specific language governing * rights and limitations under the License. * * The Original Code is Mozilla Communicator client code, released * March 31, 1998. * * The Initial Developer of the Original Code is Netscape * Communications Corporation. Portions created by Netscape are * Copyright (C) 1998-1999 Netscape Communications Corporation. All * Rights Reserved. * * Contributor(s): */ /* This contains CSS just for editor toolbars */ #EditorToolbox { min-width: 1px; } #FormatToolbar > .toolbar-holder { background-image: url(chrome://editor/skin/images/format-toolbar-endcap.gif); } .separator_small { width: 1em; } .margin-left-right { margin-left: 3px; margin-right: 3px; } /* From button.css: */ /* margin: 4px 7px 1px 1px; */ /* We have too many buttons - must be closer! */ .toolbar, .key-toolbar { margin-right: 2px; } .inset-border { border: 1px inset FF9F00; } /* THIS DOESN'T WORK ON ! */ .center { text-align: center; } /* end of SHOULD GO IN GLOBAL */ #EditModeToolbar { padding: 0px; /* Same as "standard" toolbar background */ border-top: 1px solid #9C9CFF; min-width: 1px; overflow: hidden; } /* BORDERS ARE NOT WORKING! global class="plain" is fighting us! */ /* !important in for now as a workaround to above problem! */ tab.edit-mode:hover, button.edit-mode:hover:active, tab.edit-mode { -moz-border-radius: 0px 0px 7px 7px ; padding: 0px 4px 1px 4px; margin: 0px; border-top: 0px solid black !important; /* Must be same as background */ border-bottom: 1px solid #9C9CFF !important; border-left: 1px solid #9C9CFF !important; border-right: 1px solid #9C9CFF !important; } tab.edit-mode > .button-internal-box, tab.edit-mode:hover > .button-internal-box, tab.edit-mode:hover:active > .button-internal-box { border: none; } tab.edit-mode:hover { /* border: 1px solid #3366FF !important; */ } tab.edit-mode:hover:active { padding: 1px 5px 0px 3px; /* border: 1px solid #99CCFF !important; */ } /* selected="1" is from old times when edit-mode was a