Comment 2 for bug 1835681

That analysis is correct Lisa. We should just remove those DEEVMODE_ options as they don't do anything anymore for the mochikit part (as it is gone) and if people want special devmode css they can add it to their css/sass files rather than having a dedicated htdocs/theme/debug.css file