dep.js: Set up `BAD' correctly.
-rw-r--r-- 161 dep-ui.css
-rw-r--r-- 6601 dep-ui.js
-rw-r--r-- 15525 dep.js
-rw-r--r-- 1966 rolling-eqn.html
-rw-r--r-- 377 rolling.css
-rw-r--r-- 8051 rolling.html