dummy styling
fix autorefresh
refactor, eliminate htmlHeader.inc.php