Я хотел бы увеличить масштаб по умолчанию dvisvgm, вызываемый из скриптов make4ht. Есть ли способ передать опцию "scale" в dvisvgm_hashes из командной строки?
Спасибо,
Аллен.
решение1
Вы можете настроить большинство расширений или фильтров с помощью filter_settingsкоманды. Вы можете увидеть список настроек для dvisvgm_hashesрасширенияздесь. Вы можете использовать scaleопцию для масштабирования. Значение по умолчанию 1.15. Сохраните этот код как build.lua:
filter_settings "dvisvgm_hashes" {
scale= 1.6
}
Удалите все файлы SVG, чтобы принудительно их перегенерировать, и скомпилируйте с помощью:
$ make4ht -e build.lua -f html5+dvisvgm_hashes sample.tex
Вот как это выглядит на небольшом примере:
