Hello,
Eli Zaretskii <e...@gnu.org> writes:
>> From: Nicolas Goaziou <m...@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
