some github css fixes