use fixed-width font for tool output