 Font Size</H3>

    <P>This is accessed using the local drop-down menu or the key sequence <B>CTRL-MINUS</B>. It
    decreases the font size for this terminal.</P>

    <H3><A name="reset_font_size"></A>Reset Font Size</H3>

    <P>This is accessed using the local drop-down menu or the key sequence <B>CTRL-0</B>. It resets
    the font size for this terminal according to the theme's configuration'.</P>

    <H3><A name="terminate"></A>Terminate</H3>

    <P>This action is accessed using the local drop-down