DevTools: [Documentation] Update empty page style

Source/devtools/front_end/documentation/DocumentationView.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * @constructor
  * @extends {WebInspector.View}
  */
 WebInspector.DocumentationView = function()
 {
@@ skipping 49 matching lines @@
         var article = WebInspector.JSArticle.parse(wikiMarkupText);
         if (!article)
             return;
         var renderer = new WebInspector.DocumentationView.Renderer(article, searchItem);
         this.element.appendChild(renderer.renderJSArticle());
     },
 
     _createEmptyPage: function()
     {
         this.element.textContent = "";
-        var pageTitle = this.element.createChild("div", "documentation-page-title");
-        pageTitle.textContent = "No documentation found";
+        var pageTitle = this.element.createChild("div", "documentation-not-found");
+        pageTitle.textContent = "No documentation found.";
     },
 
     __proto__: WebInspector.View.prototype
 }
 /**
  * @constructor
  * @param {!WebInspector.JSArticle} article
  * @param {string} searchItem
  */
 WebInspector.DocumentationView.Renderer = function(article, searchItem)
@@ skipping 236 matching lines @@
         function computeDescriptors(column)
         {
             var token = textEditor.tokenAtTextPosition(textSelection.startLine, column);
             if (!token)
                 return [];
             var tokenText = textEditor.line(textSelection.startLine).substring(token.startColumn, token.endColumn);
             return urlProvider.itemDescriptors(tokenText);
         }
     }
 }