GNU bug report logs -
#62054
Problem with CSS font-family exported by htmlfontify
Previous Next
Reported by: Kenta USAMI <zonuexe <at> zonu.me>
Date: Wed, 8 Mar 2023 15:39:02 UTC
Severity: normal
Done: Eli Zaretskii <eliz <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
[Message part 1 (text/plain, inline)]
Your message dated Thu, 16 Mar 2023 09:46:42 +0200
with message-id <83a60dqgt9.fsf <at> gnu.org>
and subject line Re: bug#62054: Problem with CSS font-family exported by htmlfontify
has caused the debbugs.gnu.org bug report #62054,
regarding Problem with CSS font-family exported by htmlfontify
to be marked as done.
(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)
--
62054: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=62054
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
[Message part 3 (text/plain, inline)]
First, I use a font called "Migu 2M" in Emacs.
When I run M-x htmlfontify-buffer in one buffer, the exported HTML contains
lines like:
```
body, pre { text-decoration: none; font-family: Migu 2M; font-stretch:
normal; font-weight: 500; font-style: normal; color: #ffffff;
background: #000000; font-size: 15pt; }
```
Standards-compliant web browsers should ignore this font-family.
MDN Web Docs says:
https://developer.mozilla.org/en-US/docs/Web/CSS/font-family
> Valid family names
> Font family names must either be given quoted as strings, or unquoted as
a sequence of one or more identifiers. This means that punctuation
characters and digits at the start of each token must be escaped in
unquoted font family names.
>
> It is a good practice to quote font family names that contain white
space, digits, or punctuation characters other than hyphens.
An unquoted font-family is valid as long as it doesn't start with a digit,
but MDN Web Docs also says:
> The following example is technically valid but is not recommended:
> font-family: Gill Sans Extrabold, sans-serif;
So it makes sense to quote all font-family.
The attached patch file fixes that issue. Thank you for reading.
[Message part 4 (text/html, inline)]
[0001-Fix-hfy-family.patch (application/octet-stream, attachment)]
[Message part 6 (message/rfc822, inline)]
> From: Kenta USAMI <zonuexe <at> zonu.me>
> Date: Wed, 8 Mar 2023 21:39:26 +0900
>
> First, I use a font called "Migu 2M" in Emacs.
>
> When I run M-x htmlfontify-buffer in one buffer, the exported HTML contains
> lines like:
>
> ```
> body, pre { text-decoration: none; font-family: Migu 2M; font-stretch:
> normal; font-weight: 500; font-style: normal; color: #ffffff;
> background: #000000; font-size: 15pt; }
> ```
>
> Standards-compliant web browsers should ignore this font-family.
>
> MDN Web Docs says:
> https://developer.mozilla.org/en-US/docs/Web/CSS/font-family
>
> > Valid family names
> > Font family names must either be given quoted as strings, or unquoted as
> a sequence of one or more identifiers. This means that punctuation
> characters and digits at the start of each token must be escaped in
> unquoted font family names.
> >
> > It is a good practice to quote font family names that contain white
> space, digits, or punctuation characters other than hyphens.
>
> An unquoted font-family is valid as long as it doesn't start with a digit,
> but MDN Web Docs also says:
>
> > The following example is technically valid but is not recommended:
> > font-family: Gill Sans Extrabold, sans-serif;
>
> So it makes sense to quote all font-family.
>
> The attached patch file fixes that issue. Thank you for reading.
Thanks, I installed this on the emacs-29 branch, and I'm closing this
bug.
This bug report was last modified 2 years and 120 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.