*
* 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.
* 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
min-height: 50px;
}
+#searchTermListBox {
+ height: 100px;
+}
+
+#searchResultListBox {
+ margin: 5px;
+ height: 100px;
+}
+
+menulist {
+ width: 12em;
+}
+
+menulist > menupopup > menuitem {
+ padding-right: 2px;
+}
+
+textbox {
+ margin: 1px 4px;
+}
+.small-button {
+ min-width: 3em;
+ padding: 0px;
+ margin: 0px 1px;
+}
+
+listbox {
+ padding-top: 2px;
+}