[gd_resource type="Theme" load_steps=2 format=2]

[sub_resource type="DynamicFont" id=1]
size = 14
extra_spacing_bottom = 1

[resource]
Terminal/fonts/Bold = null
"Terminal/fonts/Bold Italic" = null
Terminal/fonts/Italic = null
Terminal/fonts/Regular = SubResource( 1 )