agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Inconsistent font sizes in code blocks

Open fredrik-bakke opened this issue 11 months ago • 0 comments

The font size in agda code blocks is larger than in other code blocks. image

Inspection reveals that Agda code is displayed with a font size of 15.68px, while text blocks are displayed with a font size of 13.72px:

image vs. image

Personally, I think it looks a little better with the slightly smaller size.

fredrik-bakke avatar Mar 02 '24 19:03 fredrik-bakke