Board Thread:Technical Updates/@comment-24006128-20200311154142/@comment-168424-20200407204509

Well technically there are a few less pixels but it really isn't font size, probably some CSS change.