80c.css - condense width to emulate a classical 80 character terminal
.mp { max-width:86ex }
.mp width + padding
.man-navigation { left:101ex }
80c.css - condense width to emulate a classical 80 character terminal
.mp { max-width:86ex }
.mp width + padding
.man-navigation { left:101ex }