title: How dock the developer tools in the Vivaldi web browser?
body: <p>When I open the developer tools I get the familiar tools, but they are in their own window.</p>
  
  <p>How can I dock them to the bottom of the window?</p>