20.2.2 Alter node label size, decimal or hex.

(if ``nodes'' are set as dec or hex at #20.2)

The default node label size in decimal or hex is set automatically depending on the ``basin scale'' (#19.3). This default can be altered by a given factor. The following prompt is presented,

alter default node label size, enter factor:

Enter the factor by which the node label size is to be increased or reduced.