index page: Indentation and style in Ajax demo code