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

[resource]
Label/font_sizes/font_size = 13