theme.tres

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

[ext_resource path="res://assets/font/JetBrainsMono-BoldItalic.ttf" type="DynamicFontData" id=1]
[ext_resource path="res://assets/font/JetBrainsMono-Regular.ttf" type="DynamicFontData" id=2]
[ext_resource path="res://assets/font/JetBrainsMono-Bold.ttf" type="DynamicFontData" id=3]
[ext_resource path="res://assets/font/JetBrainsMono-Italic.ttf" type="DynamicFontData" id=4]

[sub_resource type="DynamicFont" id=1]
resource_name = "JetBrainsMonoBold"
font_data = ExtResource( 3 )

[sub_resource type="DynamicFont" id=2]
resource_name = "JetBrainsMonoBoldItalic"
font_data = ExtResource( 1 )

[sub_resource type="DynamicFont" id=3]
resource_name = "JetBrainsMonoItalic"
font_data = ExtResource( 4 )

[sub_resource type="DynamicFont" id=4]
resource_name = "JetBrainsMonoRegular"
font_data = ExtResource( 2 )

[resource]
default_font = SubResource( 4 )
MarginContainer/constants/margin_bottom = 20
MarginContainer/constants/margin_left = 20
MarginContainer/constants/margin_right = 20
MarginContainer/constants/margin_top = 20
RichTextLabel/fonts/bold_font = SubResource( 1 )
RichTextLabel/fonts/bold_italics_font = SubResource( 2 )
RichTextLabel/fonts/italics_font = SubResource( 3 )
RichTextLabel/fonts/mono_font = SubResource( 4 )
RichTextLabel/fonts/normal_font = SubResource( 4 )