Style fixes for debug.js