The way text is formatted can measurably influence productivity and user satisfaction. We work with modern software through so called GUIs – graphical user interfaces. And yet, most information being ...