1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
open! Core
open Notty.A
let title_background = bg black
let title_text = title_background ++ fg lightgreen ++ st bold ++ st underline
let log_item_border = fg lightblack
let text_output_default_color = fg white
let text_output_from_options { Quickterface.Output_text_options.color } =
match color with
| `Default -> text_output_default_color
| `Custom color ->
fg
(let r, g, b = Quickterface.Color.to_rgb color in
rgb_888 ~r ~g ~b)
let math_output_from_options = text_output_from_options
let text_input_editable = fg white ++ st italic ++ st bold
let text_input_frozen = fg white ++ st italic
let integer_input_editable = text_input_editable
let single_selection_input_option_not_selected = fg white ++ st italic
let single_selection_input_option_selected =
single_selection_input_option_not_selected ++ bg yellow ++ st bold
let multi_selection_input_option_not_hovered =
single_selection_input_option_not_selected
let multi_selection_input_option_hovered =
single_selection_input_option_selected
let loading_bar_title = fg white ++ st bold
let loading_bar_text = fg white
let loading_bar_bar_cells = fg white ++ bg lightblue
let loading_bar_bar_edges = loading_bar_bar_cells