Added a mask to dev tool body, changed the height to match the old one Fixed dev tools open by default