browser extension that applies user stylesheets to web pages and provides a user interface to manage them