DevTools: [Documentation] Update empty page style

Source/devtools/front_end/documentation/DocumentationView.js

Index: Source/devtools/front_end/documentation/DocumentationView.js
diff --git a/Source/devtools/front_end/documentation/DocumentationView.js b/Source/devtools/front_end/documentation/DocumentationView.js
index be3a3bf6d60ef5376bb20f9998454ebb1a5c3bd7..925e75e47e04188d132ee64f3186b72b8e6aeafb 100644
--- a/Source/devtools/front_end/documentation/DocumentationView.js
+++ b/Source/devtools/front_end/documentation/DocumentationView.js
@@ -10,6 +10,7 @@ WebInspector.DocumentationView = function()
 {
     WebInspector.View.call(this);
     this.element.classList.add("documentation-view");
+    this.element.classList.add("vbox");

[lushnikov, 2014/09/09 14:34:02]

I believe we want to use this only for empty page

[semeny, 2014/09/09 15:38:07]

Done.

     this.registerRequiredCSS("documentationView.css");
 }
 
@@ -75,8 +76,9 @@ WebInspector.DocumentationView.prototype = {
     _createEmptyPage: function()
     {
         this.element.removeChildren();
-        var pageTitle = this.element.createChild("div", "documentation-page-title");
-        pageTitle.textContent = WebInspector.UIString("Documentation not available");
+        var pageTitle = this.element.createChild("div", "documentation-not-found");
+        pageTitle.textContent = "No documentation found.";
+        var alignElement = this.element.createChild("div", "documentation-empty-page-align");

[lushnikov, 2014/09/09 14:34:02]

No need for the variable.

this.element.createChild("div", "documentation-empty-page-bottom-padding");

[semeny, 2014/09/09 15:38:07]

Done.

     },
 
     __proto__: WebInspector.View.prototype