Hi, Kyle Meyer <k...@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