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

[resource]
Label/font_sizes/font_size = 10
RichTextLabel/font_sizes/bold_font_size = 10
RichTextLabel/font_sizes/bold_italics_font_size = 10
RichTextLabel/font_sizes/italics_font_size = 10
RichTextLabel/font_sizes/mono_font_size = 10
RichTextLabel/font_sizes/normal_font_size = 10
TextEdit/font_sizes/font_size = 10