contents.gifindex.gifprev1.gifnext1.gif

DIAGRAM toolbox > OPTIONS page

rb4100000071.gif

The buttons on this page allow you to adjust (and automatically save) various settings: Font, Color etc.