nostr:npub1gagsvhd4kz6sve2zzkx9rpynyesau70h9et08w03t4qelk4sz8pqsvte3c Does SwiftUI enlarge a bordered element by the width of the border, or does the border draw within the un-bordered bounds?