fix a naming inconsistency with format_ugly_date_and_time
update navbar CSS: nicer links, mobile-friendly clickable user dropdown