dep-ui.js: Use `input' events for updating deps. Factor `input_...'.
[dep-ui] / dep-ui.css
2013-01-19 Mark WoodingInitial version.