Opmerking: na het publiceren is het wellicht nodig uw browsercache te legen om de veranderingen te zien.

  • Firefox / Safari: houd Shift ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5 of Ctrl-R (⌘-Shift-R op een Mac)
  • Google Chrome: druk op Ctrl-Shift-R (⌘-Shift-R op een Mac)
  • Edge: houd Ctrl ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5.
iprojectlinks = true;

 
// END Enable multiple onload functions
// ============================================================
 
 
/** START: searchBetweenNavEnHulp - Put search on old position */
 function searchBetweenNavEnHulp () {
    function $(id) { return document.getElementById(id); }
    var search = $('p-search');
    search.parentNode.removeChild(search);
    $('column-one').insertBefore(search, $('p-tb'));
 }
 aOnloadFunctions[aOnloadFunctions.length] = searchBetweenNavEnHulp ;
 /** END: searchBetweenNavEnHulp */