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

[Bastien <bzg@gnu.org>]

Hi,

Kyle Meyer <kyle@kyleam.com> writes:

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

I made this change and tested it online, the HTML Org manual now looks
like the Emacs manual: https://orgmode.org/manual/

Thanks for the suggestion!

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

Yes, I remember I tried to enhance the css for the manual, and I don't
remember why this change was reverted.

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

In any cas, the Emacs manual css is better than my attempt and using
it for Org makes sense IMO.

Best,

-- 
 Bastien