ChromEdit is an extension that offers a simple user profile file editor.
Version: 0.1.1.1ChromEdit is an extension that offers a simple user profile file editor.
Operating System: Linux
Giving access to userContent.css [for adding user styles that are applied to webpages], userChrome.css [for overriding UI styles], read-only access to prefs.js and access to user.js [to make more permanent preference changes - though you need to grok the structure and possible values first ].
Given it's a basic ASCII editor don't expect wonderful things - e.g. styling menus to disappear when selected by their labels in non-English locales where accents are prevalent - a better approach would be selection by ID; though that requires DOM Inspector or XUL source knowledge.