html-font: add default font family

Windows ships with GTK2 in which the default font styles are named
"Sans" "Sans Bold" "Sans Normal" etc. There is no "Sans" font in
Windows; I vote to add a default "Sans-Serif" font-family which is
valid CSS. This ensures exported reports are shown as intended.
This commit is contained in:
Christopher Lam 2018-04-14 22:43:19 +08:00
parent 1ee2c08306
commit 8db114658b

View File

@ -68,7 +68,7 @@
))))
(set! font-family font-name)
(set! result (string-append
"font-family: " font-family "; "
"font-family: " font-family ", Sans-Serif; "
"font-size: " font-size "pt; "
(if font-style (string-append "font-style: " font-style "; ") "")
(if font-weight (string-append "font-weight: " font-weight "; ") "")))