[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Apply emacs manual css to org pages
From: |
Bastien |
Subject: |
Re: [PATCH] Apply emacs manual css to org pages |
Date: |
Wed, 24 Mar 2021 09:08:49 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [PATCH] Apply emacs manual css to org pages,
Bastien <=