Change the symbols for examples to fit in the line

This commit is contained in:
Jip J. Dekker 2021-06-01 11:59:13 +10:00
parent 54b2c5b8db
commit 2861f4e9f6
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3

View File

@ -122,10 +122,10 @@
spaceabove=1em plus 0.75em minus 0.25em, spaceabove=1em plus 0.75em minus 0.25em,
numberwithin=chapter, numberwithin=chapter,
bodyfont=\normalfont, bodyfont=\normalfont,
headformat=\ensuremath{\blacktriangleright} \NAME~\NUMBER\NOTE, headformat=†~\NAME~\NUMBER\NOTE,
headpunct={:}, headpunct={:},
postheadspace=2em, postheadspace=2em,
qed=\ensuremath{\blacktriangleleft{}}, qed={\ibmplexsanscondensed{}\textbf{}},
spacebelow=1em plus 0.75em minus 0.25em, spacebelow=1em plus 0.75em minus 0.25em,
]{exmpstyle} ]{exmpstyle}