There was a technical problem with the website today with a file that has not been changed for at least 18 months so I have no idea what was going on.
The consequence has been some changed code, less of it but more complicated and
it will probably disrupt the top banner area of the site. It corrects itself
with a page refresh to force an update of the code. F5 on Windows.