[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 )