Yes, it was changed to dots a while ago
You can change the setting here: https://meta.discourse.org/my/preferences/sidebar