*/
deleteButton(0);
deleteButton(1);
deleteButton(2);
deleteButton(3);
deleteButton(4);
deleteButton(5);
deleteButton(6);
deleteButton(7);
deleteButton(8);
deleteButton(9);
deleteButton(10);
deleteButton(12);
deleteButton(13);
function deleteButton(Nr){
document.getElementById('mw-editbutton-bold').style.display = "none";
}
if (mwCustomEditButtons) {
