In reply to a tweet by :

@glazou no no no, this is CSS. Why limit yourself to ascii? An em dash would do nicely there.