DevTools: [Documentation] Update empty page style

Source/devtools/front_end/documentationView.css

Index: Source/devtools/front_end/documentationView.css
diff --git a/Source/devtools/front_end/documentationView.css b/Source/devtools/front_end/documentationView.css
index b3b24d7b921487e213b2e0559574b7c76a39ec94..c882c4d6d67e79e56f2a0d0c3a0092c1a5ea66ae 100644
--- a/Source/devtools/front_end/documentationView.css
+++ b/Source/devtools/front_end/documentationView.css
@@ -94,3 +94,18 @@
     margin-top: 5px;
     border-radius: 5px;
 }
+
+.documentation-not-found {
+    display: flex;
+    justify-content: center;
+    align-items: flex-end;
+    font-size: 24px;

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

can we use 160% here? should be almost the same

+    font-weight: bold;
+    color: rgb(75%, 75%, 75%);

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

can we use integers instead of percentage?

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

Done.

+    flex-shrink: 0;
+    flex-grow: 2;
+}
+
+.documentation-empty-page-align {
+    flex-grow: 3;
+}