Is there any no-plugin no-ini-editing font pack which will make bigger symbols?