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

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

2024-04-10 Thread Thomas Lange
> On Wed, 10 Apr 2024 21:33:50 +0200, Holger Wansing > said: > The second javascript functionality is the full-text search. > Please note, that I made use of javascript by intend, despite of this bug > requesting to remove all js functionality. Hi holger, in the past

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