Well spotted. The change was reasonably subtle, but yes, they were updated.
Some new icons have been slowly released throughout the week for a number of things (forum heading icons updated, as were the heading icons below the menus) to see if there are any problems prior to a large general site update in the late summer.
For those interesting in such things, the new icons are vector based, rather than bitmap, so they scale nicely on all devices. To test this, zoom your browser, the stars will remain looking sharp, other graphics will blur at zoom.
This is something I've wanted to update for many years, but only recently has browser support become sufficient. (See this thread : Thread 177125 )
Originally posted by @ponderableIt isn't, and I was initially against even providing them, but right now mobile app users can enter emojis (as mobile users tend to) and they are not reflected on the web site, so this needs to be fixed for messages at the very least.
Probably not the most important alteration on the list.
Originally posted by @russIt looks very nice, thank you!
Well spotted. The change was reasonably subtle, but yes, they were updated.
Some new icons have been slowly released throughout the week for a number of things (forum heading icons updated, as were the heading icons below the menus) to see if there are any problems prior to a large general site update in the late summer.
For those interesting in such ...[text shortened]... ecently has browser support become sufficient. (See this thread : Thread 177125 )
So you say that the site is being updated in the late summer (I suppose that's August or so; I'm from the southern hemisphere). Is that an interface upgrade?