package tiny_libs
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
From-scratch libraries for teaching: graphics, audio, compression, crypto, networking and more
Install
dune-project
Dependency
Authors
Maintainers
Sources
0.3.6.tar.gz
md5=7c636383d146d30ac6f2fa234a6253c8
sha512=c79f3823c5f8f57e5038eb640d487c61168b84aa07c61999d6622ef9fd0c890e2b03b4c6a7cdbbe9352a49e25dda00ac7bb14693cee8e3d7beeed251351a2af0
doc/src/tiny_libs.gui/Theme.ml.html
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; }
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>