Updated highlight serif font size

This commit is contained in:
Peter Zimon
2023-08-18 12:25:29 +02:00
parent 17d9b62f33
commit 0a9850eba5
3 changed files with 4 additions and 3 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long