fontSize property

double fontSize

Font size under current size.

This is the font size passed to Flutter's RichText widget to build math symbols.

Implementation

final double fontSize;