Make the script editor use a monospaced font. Cf. issue #54.