80c.css - condense width to emulate a classical 80 character terminal

.mp { max-width:86ex }

.mp width + padding

.man-navigation { left:101ex }