package tiny_libs

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file Theme.ml

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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
(* Claude Code
 *
 * Copyright (C) 2026 Yoann Padioleau
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Library General Public License
 * (LGPL) as published by the Free Software Foundation; either version
 * 2 of the License, or (at your option) any later version.
 *)

(* See Theme.mli *)

type t = {
  background : Color.t;
  face : Color.t;
  face_hot : Color.t;
  face_down : Color.t;
  edge : Color.t;
  border : float;
  text : Color.t;
  accent : Color.t;
  text_size : float;
  row : float;
  padding : float;
  slider_width : float;
  knob : float;
  field_face : Color.t;
  field_width : float;
  dial : float;
  dial_face : Color.t;
  pointer : Color.t;
}

let default =
  {
    background = Color.rgb 245 245 240;
    face = Color.rgb 220 220 215;
    face_hot = Color.rgb 235 235 225;
    face_down = Color.rgb 195 195 190;
    edge = Color.rgb 120 120 115;
    border = 2.;
    text = Color.black;
    accent = Color.rgb 52 101 164 (* Color.blue *);
    text_size = 16.;
    row = 36.;
    padding = 12.;
    slider_width = 220.;
    knob = 18.;
    field_face = Color.white;
    field_width = 220.;
    dial = 48.;
    dial_face = Color.rgb 40 40 40;
    pointer = Color.white;
  }