JavaScript tools for in-browser user interface niceness