Style tweaks: add Override font-based normal line height (#12483)

This commit is contained in:
Benedikt McMullin
2024-12-05 01:33:51 +01:00
committed by GitHub
parent 9de3b33421
commit 1438caf529

View File

@@ -478,6 +478,26 @@ sup { font-size: 50% !important; vertical-align: super !important; }
sub { font-size: 50% !important; vertical-align: sub !important; }
]],
},
(function()
local sub_table = {
title = _("Override font-based normal line height"),
}
for __, height in ipairs( { 0.9, 0.95, 1.0, 1.05, 1.1, 1.15, 1.2, 1.25, 1.3, 1.35, 1.4, 1.45, 1.5 } ) do
table.insert(sub_table, {
id = T("normal_line-height_%1", height * 100),
conflicts_with = function(id) return util.stringStartsWith(id, "normal_line-height_") end,
title = T(_("Normal line height: %1"), height),
css = T([[
* {
-cr-hint: late;
-cr-only-if: line-height-normal;
line-height: %1 !important;
}
]], height),
})
end
return sub_table
end)(),
},
},
{