Board Thread:Technical Updates/@comment-957747-20180307203054/@comment-9605025-20180308144839

You can always change the font in your personal CSS.