mantis ui tools
by 刘 明全
About this Collection
34 Add-ons in this Collection
Greasemonkey by Anthony Lieuallen, Aaron Boodman, others
Restyle the web with Stylish, a user styles manager. Stylish lets you easily install themes and skins for Google, Facebook, YouTube, Tumblr, and many, many other sites. You can even customize Firefox and other programs themselves.
Displays a country flag depicting the location of the current website's server and provides a multitude of tools such as site safety checks, whois, translation, similar sites, validation, URL shortening, and more...
Theme Font & Size Changer lets you change the global font size and font family used for the user interface in Firefox. Design your browser with your favorite font.
Gives you a place to put all your add-on buttons without over-crowding the navigation bar.
Customize menus : Helps removing, moving and renaming menus and menu items
Colorize important menu for ease of use! (use Style (CSS))
Change or disable any of used keyboard shortcuts
Support: Firefox, Thunderbird and SeaMonkey
FoxClocks shows times around the world - or just your local time - at the bottom of your browser. It deals with daylight saving time so you don't have to.
Between simple tweaks such as placing the findbar in the top corner, to the powerful "Find in All Tabs" tool, it has everything to make the Find Toolbar a powerful and accessible research tool!
Adds toolbar buttons to the customize toolbar window in several programs including Firefox, Thunderbird and SeaMonkey. Some of the buttons make commonly preformed actions quicker, others add new functionality.
The "NewScrollbars"-extension replaces default scrollbars of Firefox and Thunderbird with colorized ones (partly) known from "Noia themes".