Just use the username field in your email program and change it to
mail.server.com:3110:username
if the mail server uses the port 3110 for the connection.
Should you find anything in the documentation that is incomplete, unclear, outdated or just plain wrong, please let us know and leave a note in the Documentation Forum.