January Weiner wrote:
> 1) choose a different font (optionAdd method of the main window with
> e.g. Arial 10)
>
> First, I would like to use option (1), but I don't know enough of
> tkinter to find it.
use the option_add() method on the root widget. e.g.
root.option_add("*Label*font", "Helvetica 15 bold")
</F>