[gd_resource type="Theme" format=3 uid="uid://bm7gkjfqwmc3i"]

[resource]
default_font_size = 80