Comment by mickeyp

Those are just.. buttons. But they are not 'web buttons' like you'd see everywhere on the web in the 90s. They are the same shape and size as the link above, and they were indeed often animated GIFs.