style changes to doctor/dev.js