Text folding for HTML by JavaScript, designed for general instruction pages