dep.js: Set up `BAD' correctly.
[dep-ui] / dep-ui.css
2013-01-19 Mark WoodingInitial version.