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

[ext_resource path="res://assets/DejaVuSansMono.ttf" type="DynamicFontData" id=1]

[sub_resource type="DynamicFont" id=1]

size = 18
use_mipmaps = false
use_filter = false
font_data = ExtResource( 1 )
_sections_unfolded = [ "Font", "Settings" ]

[resource]

default_font = SubResource( 1 )

