Formatting & fix bug where outer.firstChild would return the wrong node (a text node). Review by: jat (TBR) git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@7100 8db76d5a-ed1c-0410-87a9-c151d255dfc7

diff --git a/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html b/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html
index 450972a..cd14ec4 100644
--- a/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html
+++ b/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html

@@ -149,18 +149,18 @@
 function __gwt_disconnected() {
   var doc = window.top.document;
   var outer = doc.createElement("div");
+  // Do not insert whitespace or outer.firstChild will get a text node.
   outer.innerHTML = 
-    '  <div style="position:absolute;z-index:2147483646;left:0px;top:0px;right:0px;bottom:0px;filter:alpha(opacity=80);opacity:0.80;background-color:#000000;"></div>' +
-    '  <div style="position:absolute;z-index:2147483647;left:0px;top:0px;width:600px;margin:50px;color:#FFFFFF;font-family:verdana;">' +
-    '    <div style="font-size:30px;font-weight:bold;">GWT Code Server Disconnected</div>' +
-    '    <p style="font-size:15px;"> Most likely, you closed GWT development mode. Or you might have lost network connectivity. To fix this, try restarting GWT Development Mode and <a style="color: #FFFFFF; font-weight: bold;" href="javascript:location.reload()">REFRESH</a> this page.</p>' +
-    '  </div>'
+    '<div style="position:absolute;z-index:2147483646;left:0px;top:0px;right:0px;bottom:0px;filter:alpha(opacity=80);opacity:0.80;background-color:#000000;"></div>' +
+    '<div style="position:absolute;z-index:2147483647;left:50px;top:50px;width:600px;color:#FFFFFF;font-family:verdana;">' +
+      '<div style="font-size:30px;font-weight:bold;">GWT Code Server Disconnected</div>' +
+      '<p style="font-size:15px;"> Most likely, you closed GWT development mode. Or you might have lost network connectivity. To fix this, try restarting GWT Development Mode and <a style="color: #FFFFFF; font-weight: bold;" href="javascript:location.reload()">REFRESH</a> this page.</p>' +
+    '</div>'
   ;
   doc.body.appendChild(outer);
   var glass = outer.firstChild;
   var glassStyle = glass.style;
 
-
   // Scroll to the top and remove scrollbars.
   window.scrollTo(0, 0);
   if (doc.compatMode == "BackCompat") {