A glitch in CSS for lists at https://orgmode.org/org.html

[Maxim Nikulin]

Unordered lists are styled a bit incorrectly in the single-page org 
manual. Compare e.g. "Installation" section:

https://orgmode.org/org.html#Installation
https://orgmode.org/manual/Installation.html#Installation

For some reason whole text of single-page manual is a part of table of 
contents (div.contents), so bold font and suppressed marker rules are 
applied for regular ul elements.

It is a minor issue. Maybe someone familiar with export settings for the 
manual could have a look and decide either CSS should be tweaked of main 
part of the manual should be pulled out of the TOC block.