AJAX navigation: slight improvement in JS code which displays new content
(frontend still remains a mess)