Subject: bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?

From: Nicolas Goaziou <[email-masked]>
Date: Mon, 22 Oct 2018 15:13:39 +0200

Hello,

Eli Zaretskii <[email-masked]> writes:

>> From: Nicolas Goaziou <[email-masked]>

>> 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