This is true to a fault: for a while many people asked to be able to change the code font, or at least for it to respect browser defaults. They resisted because that went against what the designer thought was best - which I think is a case of form trumping function.