navigator.js: omit unused borderWidth from func args