Re: [PATCH] Apply emacs manual css to org pages

[Kyle Meyer]

TEC writes:

> Subject: [PATCH] mk/default.mk: use same html doc style as emacs
>
> * mk/default.mk: Add CSS stylesheet ref to HTML generated by TEXI2HTML,
> specifically the stylesheet used with the online Emacs manual.
> ---
>  mk/default.mk | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/mk/default.mk b/mk/default.mk
> index fbfdaf5..e92d58c 100644
> --- a/mk/default.mk
> +++ b/mk/default.mk
> @@ -139,7 +139,7 @@ MKDIR     = install -m 755 -d
>  MAKEINFO = makeinfo
>  
>  # How to create the HTML file
> -TEXI2HTML = makeinfo --html --number-sections
> +TEXI2HTML = makeinfo --html --number-sections --css-ref 
> "https://www.gnu.org/software/emacs/manual.css";

Hmm, while I barely ever look at the online manual, I thought I recalled
it having custom styling, and indeed it looks like that was the case:

  https://web.archive.org/web/20171222052224/https://orgmode.org/org.html

At least based on the Wayback Machine rendering, it seems like the
custom CSS was lost shortly after the snapshot above.

If you look in the repo for org-manual.css, you can see there is still
handling for it.

So, if we're going to go in the direction of this patch, there should be
some mention of the previous approach, why it was dropped, and the
handling for org-manual.css should probably be removed.  Perhaps Bastien
can help fill in some details here.