Re: [PATCH 3/7] docs: css: Add separation for table of contents generated from RST