<html>
<head>
    <link rel="stylesheet" type="text/css" href="css/tips.css">
</head>
<body>


    <p>You don't need to leave <span class="product">&productName;</span> to work with your favorite shell. Just choose 
<span class="control">Tools | Open Terminal</span> on the main menu, 
and enjoy using the embedded local terminal. </p>
    <p class="image"><img src="images/terminal.png"></p>

</body>
</html>