background_color 0.961 0.961 0.961
custom_background_color 0.961 0.961 0.961
text_highlight_color 0.922 0.922 0.922
visual_mark_color 0.922 0.922 0.922 1.0
custom_text_color 0.102 0.102 0.102
ui_text_color 0.102 0.102 0.102
ui_selected_text_color 0.102 0.102 0.102
link_highlight_color 0.298 0.431 0.961
search_highlight_color 0.298 0.431 0.961
synctex_highlight_color 0.298 0.431 0.961
highlight_color_a 0.231 0.357 0.859
highlight_color_b 0.176 0.498 0.243
highlight_color_c 0.600 0.408 0.000
highlight_color_d 0.780 0.145 0.306
highlight_color_e 0.682 0.243 0.788
highlight_color_f 0.063 0.596 0.678
highlight_color_g 0.961 0.624 0.000
ui_background_color 0.922 0.922 0.922
ui_selected_background_color 0.298 0.431 0.961
status_bar_color 0.961 0.961 0.961
status_bar_text_color 0.102 0.102 0.102