bigger fonts on komodo edit