☰

GM_config

A lightweight, reusable, cross-browser graphical settings framework for inclusion in user scripts.