Refining build_html_pages scripts, to integrate bootstrap.