Clover: show which size is the default and allow typing any number. A number
typed in Font Size offers that size alone, cut to the half point below, or else
says the range OneNote 2010 takes (6 to 130, as its own box refuses others in
the lab); Enter on a menu offering nothing for what was typed leaves the size
as it was. The size and font the paragraph's style gives, or else the Default
font's, read Default in the lists.

Assisted-by: claude-opus-5.5