add code style toggle to local header
fix a css href
better render_html()