Shrink horizontal columns in html docs