tweaking colors and fonts
change font to something that looks decent bold; use bold for names
go back to using spaces for indent
different background for settings; try black for names again
update todo
even lighter background for settings
no need to checkin settings.html