diff --git a/Documentation/User Manual/includes/footer.html b/Documentation/User Manual/includes/footer.html
index b216dfa00695b2045a47631ae876b3922dbb29c0..81d42bd240b2c263b4219cd9528607e642c4768c 100644
--- a/Documentation/User Manual/includes/footer.html	
+++ b/Documentation/User Manual/includes/footer.html	
@@ -1,4 +1,4 @@
 <div id="FOOTER">
 <a target="mainframe" href="mailto:vecto@jrc.ec.europa.eu">Contact</a>
-<span style="text-align:right; float:right">Print View: <a href="javascript:$('div').show().not('.vecto2').not('.vecto3').css({'padding-left':'0px'}).filter('#CONTENT,#TOC,#HEADER,#FOOTER,#MathJax_Message').hide();void(0);">All</a>, <a href="javascript:$('div').not('.vecto2').not('.vecto3').css({'padding-left':'0px'}).filter('#TOC,#HEADER,#FOOTER,#MathJax_Message').hide();$('#CONTENT').css({'display':'inline'});void(0);">Current</a>
+<span style="text-align:right; float:right">Print View: <a href="javascript:$('div, section, nav').show().not('.vecto2').not('.vecto3').css({'padding-left':'0px'}).filter('#CONTENT,#TOC,#HEADER,#FOOTER,#MathJax_Message').hide();void(0);">All</a>, <a href="javascript:$('div, section, nav').not('.vecto2').not('.vecto3').css({'padding-left':'0px'}).filter('#TOC,#HEADER,#FOOTER,#MathJax_Message').hide();$('#CONTENT').css({'display':'inline'});void(0);">Current</a>
 </div>
\ No newline at end of file
diff --git a/Documentation/User Manual/includes/include.js b/Documentation/User Manual/includes/include.js
index 0c2afe9872643f7c0d0ae0f98f800fea8c893b51..20cafc14c0b15bd746069753e23a7025cc9eae4b 100644
--- a/Documentation/User Manual/includes/include.js	
+++ b/Documentation/User Manual/includes/include.js	
@@ -13,6 +13,7 @@ $(function(){
     
 
     $("body > div:not(#TOC):not(#HEADER):not(#FOOTER):not(.vecto2):not(.vecto3)").hide();
+    $("body > section:not(#TOC):not(#HEADER):not(#FOOTER):not(.vecto2):not(.vecto3)").hide();
     $("body > div:not(#TOC):not(#HEADER):not(#FOOTER) > div:not(.vecto2):not(.vecto3)").hide();
 
     window.onhashchange=function(){showContent($(window.location.hash.replace(".", "\\.")));};