12345678910111213141516171819(* 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 Style.mli *)typet={bold:bool;italic:bool;underline:bool;strike:bool;size:float}letplain={bold=false;italic=false;underline=false;strike=false;size=16.}lettoggle_bolds={swithbold=nots.bold}lettoggle_italics={swithitalic=nots.italic}lettoggle_underlines={swithunderline=nots.underline}lettoggle_strikes={swithstrike=nots.strike}