Look into user label font size
OK! I just thought it would be nice if the font used in usertags could be the same size as they originally were in Tildes Extended, which I'm guessing is the size for the comment date as well? They are currently the same size as comment text and user name, which is a little distracting. Maybe a simple option toggle of small/large might be a good compromise to accommodate all tastes.