redaction: add a scrollbar to toolbar-toc if it's too high
redaction: add a scrollbar to toolbar-toc if it's too high

linuxfrorg/linuxfr.org,linuxfrorg/linuxfr.org,linuxfrorg/linuxfr.org,linuxfrorg/linuxfr.org