<html>
<head>
    <link rel="stylesheet" type="text/css" href="css/tips.css">
</head>
<body>
    <p>
        If you need more workspace, you can hide the tool windows bars:
        click <img src="images/show_hide_tool_window_bars.png"> in the lower left corner.</p>
    <p>
        If necessary, you can show the tool window buttons just for a moment. To do that, press the key <span class="shortcut">Alt</span> (for Windows/*nix) or
<span class="shortcut">Cmd</span> (for Mac) twice and keep it down.
        While the key is pressed, the tool window buttons are visible.</p>
</body>
</html>