first stab at gen_settings_html.py
slightly darker comments; slightly smaller text