background_color 0.071 0.071 0.071
custom_background_color 0.071 0.071 0.071
text_highlight_color 0.176 0.176 0.176
visual_mark_color 0.176 0.176 0.176 1.0
custom_text_color 0.878 0.878 0.878
ui_text_color 0.878 0.878 0.878
ui_selected_text_color 0.878 0.878 0.878
link_highlight_color 0.616 0.722 0.969
search_highlight_color 0.616 0.722 0.969
synctex_highlight_color 0.616 0.722 0.969
highlight_color_a 0.478 0.635 0.969
highlight_color_b 0.596 0.765 0.475
highlight_color_c 0.898 0.753 0.482
highlight_color_d 1.000 0.420 0.420
highlight_color_e 0.776 0.471 0.867
highlight_color_f 0.337 0.714 0.761
highlight_color_g 0.941 0.820 0.592
ui_background_color 0.071 0.071 0.071
ui_selected_background_color 0.478 0.635 0.969
status_bar_color 0.071 0.071 0.071
status_bar_text_color 0.878 0.878 0.878
startup_commands toggle_dark_mode