How the heck to people change their font size on reddit comments

i’ve seen both big and small and can’t figure it out for the life of me.

Submitted June 08, 2020 at 04:45AM by dummy_swimmer https://ift.tt/2Adchx5