Fix DevTools section formatting