User:EstherLoer/distinguish title.js

// This script turns the name of the name space grey and adds a gap after it. // Not compatible with other title-modifying scripts like hide_path.js.

var firstHeading = document.getElementById("firstHeading");

// to select only the file space, use: RLCONF.wgNamespaceNumber == 6 if (RLCONF.wgNamespaceNumber > 0 && RLCONF.wgAction == "view") { // generate new title firstHeading.innerHTML = ' ' 	+ firstHeading.innerHTML.substring(0,firstHeading.innerHTML.search(":")+1) + ' '+firstHeading.innerHTML.substring(firstHeading.innerHTML.search(":")+1); }

//