theme: changing fixed width font