Re: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

2024-04-10 Thread Holger Wansing
Hi, Bill Allombert wrote (Wed, 10 Apr 2024 22:24:20 +0200): > On Wed, Apr 10, 2024 at 09:33:50PM +0200, Holger Wansing wrote: > > Hello www team and debian-policy editor team, > > > > Note: apparently we have no alternative beside js, if we want full-text > > search for html output

Re: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

2024-04-10 Thread Holger Wansing
Hello www team and debian-policy editor team, in-line with activating the new html theme on our website I also worked on the javascript front: to make the html theme work on small screens (smartphones) the readthedocs.org theme relies on javascript functionality, to display a sidebar with the