Problem: the keyframe dots use the line width setting (i.e. a binary thin/thick choice), which gives very coarse control over the scaling factor. The theme settings, however, allow pixel-precise control over the default keyframe dot size.
Proposal: Scale the keyframe dot size by the UI scale factor, instead of using the line width.