Please file bugs at bugzilla.mozilla.org! This kind of feedback is very beneficial. (Disclaimer: I don't work on the devtools, but I work at Mozilla)

That's a small tweak and shouldn't diminish the overall awesomeness that is the rest of the devtools. I actually agree with you, but have found them extremely fast and usable overall.