Arrow buttons are missing, for navigating report pages

Using the Power BI Service (with the Edge browser), if I am editing a report that has many report pages (tabs), the arrow buttons to move left/right across the tabs are missing.   It seems like the...