I notice that there’s a wrong hotkey guide about opening the developer tools in the help doc, it may let some people who is not familiar with Electron feel confused. I’ll fix it up, and make a pull request on the docs GitHub repository. 
If you are building or modifying your own css, you can open the developer tools by using
Ctrl/Cmd+Shift+Ito get information on the elements you want to customize.