adapt for larger fonts on Linux; fix indexing with renumbered nodes