[Etoys] code font size

[Yoshiki Ohshima]

  Alexandre and Alan,

> Quite a bit of work was put into this for the B2 build. Let us know what you think. You can also download the current
> Etoys version and put it on your B1 machine.

  However, the font for the textual representation of fonts are not
modified (yet).

  The way you fix is to bring up a world menu by pressing Alt-shift-w
(it may take some seconds for the first time in a session), choose
"appearance...", then choose "system fonts...", then choose "code
font..." (third from the bottom in this menu), then wait for a while,
and choose the style of font you would like, then choose the size
of font, and then choose the emphasis if necessary.

-- Yoshiki