Help! Is there a way to change docker hight or arrow size. It seems the arrow is bigger.
[image: iShot_2023-01-10_10.01.02.png] -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/29a3a8e6-cbea-4f4a-87b9-8cbe592f8168n%40googlegroups.com.
