/*
 _______________________________________________________________________
|                  |                                                    |
|          Title:  |  Bold the Options Menu Item                        |
|    Description:  |  Bolds the options... button in the tools dropdown |
|         Author:  |  -=Ben=-                                           |
|   Date Created:  |  June 18, 2008                                     |
|   Last Updated:  |  June 25, 2008                                     |
|        Version:  |  1.0.0.1                                           |
|__________________|____________________________________________________|

*/




@namespace url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul);

/* Bold the Options... Menu: */
#menu_preferences, #menu_editprefs
{
  font-weight:bold !important;
}