BK936

I don't know why styling-plugin is in the file list: only aloha_menu.html and aloha_header.html were changed and indent-plugin.js added.