Note that F12 is a little problematic in browsers as it already toggles the developer tools.