Reported by: Nicolas Floquet <n <at> flqt.fr>
Date: Wed, 12 Sep 2018 15:24:03 UTC
Severity: normal
Found in version 26.1
Done: Bastien <bzg <at> gnu.org>
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: Nicolas Goaziou <mail <at> nicolasgoaziou.fr> To: Eli Zaretskii <eliz <at> gnu.org> Cc: rgm <at> gnu.org, n <at> flqt.fr, rms <at> gnu.org, amin <at> gnu.org, 32722 <at> debbugs.gnu.org, rjhorniii <at> gmail.com, kaushal.modi <at> gmail.com Subject: bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ? Date: Mon, 22 Oct 2018 15:13:39 +0200
Hello,
Eli Zaretskii <eliz <at> gnu.org> writes:
>> From: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
>> I assume this is the only way out of this, so I'll have a look at it.
>
> Thank you.
In an attempt to move Org from htmlize to htmlfontify, I'm encountering
an issue with the generated CSS. Exporting the same simple document with
htmlize, I get:
--8<---------------cut here---------------start------------->8---
<style type="text/css">
<!--
body {
color: #b2b2b2;
background-color: #292b2e;
}
.bold {
/* bold */
font-weight: bold;
}
.comment {
/* font-lock-comment-face */
color: #2aa1ae;
}
.function-name {
/* font-lock-function-name-face */
color: #bc6ec5;
font-weight: bold;
}
.italic {
/* italic */
font-style: italic;
}
.keyword {
/* font-lock-keyword-face */
color: #4f97d7;
font-weight: bold;
}
.org-block {
/* org-block */
color: #cbc1d5;
background-color: #2f2b33;
}
.org-block-begin-line {
/* org-block-begin-line */
color: #827591;
background-color: #373040;
}
.org-block-end-line {
/* org-block-end-line */
color: #827591;
background-color: #373040;
}
.org-level-1 {
/* org-level-1 */
color: #4f97d7;
}
.parenthesis {
/* parenthesis */
color: #686868;
}
.type {
/* font-lock-type-face */
color: #ce537a;
font-weight: bold;
}
a {
color: inherit;
background-color: inherit;
font: inherit;
text-decoration: inherit;
}
a:hover {
text-decoration: underline;
}
-->
</style>
--8<---------------cut here---------------end--------------->8---
Then, with htmlfontify:
--8<---------------cut here---------------start------------->8---
<style type="text/css"><!--
body { font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.default { font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.default a { font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: underline; }
span.italic { font-style: italic; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.italic a { font-style: italic; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: underline; }
span.bold { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.bold a { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: underline; }
span.org-block-end-line { color: #827591; background: #373040; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 9pt; text-decoration: none; }
span.org-block-end-line a { color: #827591; background: #373040; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 9pt; text-decoration: underline; }
span.type { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.type a { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: underline; }
span.function-name { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.function-name a { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: underline; }
span.org-block { color: #cbc1d5; background: #2f2b33; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 9pt; text-decoration: none; }
span.org-block a { color: #cbc1d5; background: #2f2b33; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 9pt; text-decoration: underline; }
span.keyword { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.keyword a { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: underline; }
span.parenthesis { color: #686868; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.parenthesis a { color: #686868; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; background: #292b2e; font-size: 9pt; text-decoration: underline; }
span.org-block-begin-line { color: #827591; background: #373040; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 9pt; text-decoration: none; }
span.org-block-begin-line a { color: #827591; background: #373040; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 9pt; text-decoration: underline; }
span.org-level-1 { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.org-level-1 a { font-weight: 700; font-family: DejaVu Sans Mono; font-stretch: normal; font-style: normal; color: #b2b2b2; background: #292b2e; font-size: 9pt; text-decoration: underline; }
span.comment { color: #2aa1ae; font-style: normal; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; background: #292b2e; font-size: 9pt; text-decoration: none; }
span.comment a { color: #2aa1ae; font-style: normal; font-family: DejaVu Sans Mono; font-stretch: normal; font-weight: 500; background: #292b2e; font-size: 9pt; text-decoration: underline; }
--></style>
--8<---------------cut here---------------end--------------->8---
Some users reported that htmlfontify output is too verbose (font-style,
font-family, font-size...).
Is there a way to clean up the output from htmlfontify and include only
minimal information? It might be something related to
`hfy-default-face-def', but the documentation is not clear to me.
Thank you for any help.
Regards,
--
Nicolas Goaziou
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.