I am trying to make a rounded corner dotted frame with a formula on a gray background.

I can't seem to get both the background and the dotted frame working well at the same time.

Here is the same mkiv macros showing three specimens.

#1 is stand rounded gray background.  This works
#2 The grey background seems to not go up to the dotted frame of the frame is too high?
#3 The dotted frame does not show up at all.

Here is the mkiv file: