@Barty,
Thank you!
I'll try them then.
UPDATE
@Barty, thank you again!
I put the appropriate values of KF8 (which all were initially chosen manually) into MOBI font sizes like this:
##1-5 identical
#6 = #7
#7 = #10
#8 = #14
Exact values are:
It looks like there are some differences still, due to interpolation factors, but it is only about 0.02.
Yes, dictionary font size jumped to #3 = 9.26, which is larger than 8.49 by about 9%, but that's still fine.