Module ThemeSource

Sourcetype t = {
  1. background : Color.t;
  2. face : Color.t;
  3. face_hot : Color.t;
  4. face_down : Color.t;
  5. edge : Color.t;
  6. border : float;
  7. text : Color.t;
  8. accent : Color.t;
  9. text_size : float;
  10. row : float;
  11. padding : float;
  12. slider_width : float;
  13. knob : float;
  14. field_face : Color.t;
  15. field_width : float;
  16. dial : float;
  17. dial_face : Color.t;
  18. pointer : Color.t;
}
Sourceval default : t