/* 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 }