Closed lemzwerg closed 1 year ago
In particular, reduce the fontsize here and there to avoid overfull lines due to the previous commit.
Thank you!
In particular, reduce the fontsize here and there to avoid overfull lines due to the previous commit.