properly render long lines in HTML docs