Changing the font size
You can change the font size by changing the setting of your web browser. Refer to the Help of your web browser for instruction on changing the font size.
Searching this User Guide
You can search by keyword in the context of a desired topic. Enter the keyword in the window( 
), and click the search button (
).
Returning to a previous page
Use the back button of your web browser (
) or breadcrumb trail navigation (
) to return to a page you have previously viewed.
Printing out a page
Click the print button (
) to print out a page you are viewing.
14