2022-04-07 09:23:20 +02:00
|
|
|
|
2022-04-07 10:12:40 +02:00
|
|
|
#: Fonts configuration
|
2022-04-07 09:23:20 +02:00
|
|
|
font_family monospace
|
|
|
|
|
bold_font auto
|
|
|
|
|
italic_font auto
|
|
|
|
|
bold_italic_font auto
|
|
|
|
|
font_size 10.0
|
|
|
|
|
|
2022-04-07 21:27:22 +02:00
|
|
|
#: Cursor
|
|
|
|
|
cursor_shape beam
|
|
|
|
|
cursor_beam_thickness 1.8
|
|
|
|
|
|
2022-04-07 10:12:40 +02:00
|
|
|
#: Load default theme
|
2022-04-07 09:23:20 +02:00
|
|
|
include ./theme.conf
|
