dep-ui.js: Use `input' events for updating deps. Factor `input_...'.
-rw-r--r-- 161 dep-ui.css
-rw-r--r-- 6114 dep-ui.js
-rw-r--r-- 16361 dep.js
-rw-r--r-- 1966 rolling-eqn.html
-rw-r--r-- 418 rolling.css
-rw-r--r-- 8467 rolling.html