Changing the DevTools theme changes the whole browser's theme too.

http://i.imgur.com/NJzTpG9.png