On the toolbar click on the Edit menu and select Preferences. In the categories on the left side of the new dialog window, click the triangle marked Advanced to reveal more categories, and select Proxies. Click on Manual Proxy Configuration and in the two HTTP boxes and enter the desired proxy server name and port number. Close each one of the open dialog boxes by clicking on OK.
