UESPWiki:Javascript/renameSearchButtons.js

//

//

  function renameSearchButtons()
  {
    document.getElementById( "mw-searchButton" ).value = "Srch";
    document.getElementById( "mw-searchButton" ).style.fontSize = "8pt";
    document.getElementById( "mw-searchOptionsButton" ).value = "Opt";
    document.getElementById( "mw-searchOptionsButton" ).style.fontSize = "8pt";
    document.getElementById( "searchGoButton" ).style.fontSize = "8pt";
  }

  addOnloadHook(renameSearchButtons);

//