From 46d6d3f4677d8aba3452332aca9e16117fe70f9c Mon Sep 17 00:00:00 2001 From: Roberto Alsina Date: Mon, 12 Aug 2024 10:55:58 -0300 Subject: [PATCH] Make how-heavy-is-bold configurable --- src/formatters/html.cr | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/formatters/html.cr b/src/formatters/html.cr index 7bdda0b..20f41a2 100644 --- a/src/formatters/html.cr +++ b/src/formatters/html.cr @@ -15,6 +15,7 @@ module Tartrazine property? standalone : Bool = false property? surrounding_pre : Bool = true property? wrap_long_lines : Bool = false + property? weight_of_bold : Int32 = 600 def format(text : String, lexer : Lexer, theme : Theme) : String text = format_text(text, lexer, theme) @@ -72,7 +73,7 @@ module Tartrazine # These are true/false/nil outp << "border: none;" if style.border == false outp << "font-weight: bold;" if style.bold - outp << "font-weight: 400;" if style.bold == false + outp << "font-weight: #{weight_of_bold};" if style.bold == false outp << "font-style: italic;" if style.italic outp << "font-style: normal;" if style.italic == false outp << "text-decoration: underline;" if style.underline