To view this manual, you need to enable "JavaScript" and "Style sheet" in the web browser settings.
For details about enabling them, refer to the help of your web browser.
This section describes how to use the pointing stick/mouse keys.