edit appearance of sysadmin-commands.html