Me gustaría aumentar la escala predeterminada de dvisvgm tal como se invoca desde los scripts make4ht. ¿Hay alguna manera de pasar la opción "escala" a dvisvgm_hashes desde la línea de comando?
gracias
allen
Respuesta1
Puede configurar la mayoría de las extensiones o filtros usando el filter_settingscomando. Puede ver la lista de configuraciones para dvisvgm_hashesla extensión.aquí. Puede utilizar la scaleopción para escalar. El valor predeterminado es 1.15. Guarde este código como build.lua:
filter_settings "dvisvgm_hashes" {
scale= 1.6
}
Elimine todos los archivos SVG para forzar su regeneración y compílelos usando:
$ make4ht -e build.lua -f html5+dvisvgm_hashes sample.tex
Así queda con una pequeña muestra:
