RobertLumley comments on Imperative Categories?

[RobertLumley]

Is there any way you could change the font to the default? This makes readability difficult and distracts from the page it’s on.

[RobertLumley]

Thanks!

[Alicorn]

That was me.

[RobertLumley]

Thanks!