JavaScript notifications via HTML5 API with Gritter fallback