DevTools: [Documentation] Fix css style for renderer

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 814df90d13a8ff2ecfadf4f33455b0f35fcd5b16..4e869653629041540e55b8e65c4476de903d02e2 100644
--- a/Source/devtools/front_end/documentationView.css
+++ b/Source/devtools/front_end/documentationView.css
@@ -7,20 +7,20 @@
 .documentation-example-code {
     border: 1px dotted black;
     border-radius: 6px;
-    padding: 1em;
-    margin-bottom: 1em;
+    padding: 10px;
+    margin-bottom: 10px;
 }
 
 .documentation-code {

[aandrey, 2014/09/05 11:11:49]

duplicated css. merge with the above:

.documentation-code,
.documentation-example-code {
  ...
}

     border: 1px dotted black;
     border-radius: 6px;
-    padding:1em;
-    margin-bottom: 1em;
+    padding: 10px;
+    margin-bottom: 10px;
 }
 
 .documentation-section-title {
     font-size: 120%;
-    padding-bottom: 0.4em;
+    padding-bottom: 4px;
     font-weight: bold;
 }
 
@@ -33,11 +33,11 @@
 }
 
 .documentation-parameter {
-    margin-bottom: 1em;
+    margin-left: 5px;
 }
 
 .documentation-section {
-    margin-bottom: 1.5em;
+    margin-bottom: 15px;
 }
 
 .documentation-code-tag {
@@ -45,50 +45,50 @@
 }
 
 .documentation-parameter-optional {
-    padding: 0.7ex;
+    padding: 6px;
     background-color: rgb(219, 234, 249);
     text-decoration: none;
-    margin-left: 1ex;
-    margin-top: -0.5ex;
+    margin-left: 10px;
+    margin-top: -5px;
     border-radius: 5px;
 }
 
 .documentation-parameter-data-type-value {
-    margin-right: 0.5em;
-    padding: 0.7ex;
+    margin-right: 5px;
+    padding: 6px;
     background-color: rgb(254, 254, 202);
     text-decoration: none;
-    margin-left: 1ex;
-    margin-top: -0.5ex;
+    margin-left: 10px;
+    margin-top: 5px;

[aandrey, 2014/09/05 11:11:49]

use "margin: x x x x;"

     border-radius: 5px;
 }
 
 .documentation-parameter-name {
-    font-size: 115%;
+    font-size: 120%;
     font-style: italic;
 }
 
 .documentation-page-title {
     font-size: 160%;
     font-weight: bold;
-    padding-bottom: 0.7em;
+    padding-bottom: 7px;
 }
 
 .documentation-view {
     -webkit-user-select: text;
-    padding: 1em;
+    padding: 10px;
 }
 
 .documentation-example-description-section {
-    margin-bottom: 1em;
+    margin-bottom: 10px;
 }
 
 .documentation-example-link {

[aandrey, 2014/09/05 11:11:49]

too much css duplication for:

.documentation-parameter-optional
.documentation-parameter-data-type-value
.documentation-example-link

     float: right;
-    padding: 0.7ex;
+    padding: 6px;
     background-color: rgb(241, 246, 251);
     text-decoration: none;
-    margin-left: 1ex;
-    margin-top: -0.5ex;
+    margin-left: 10px;
+    margin-top: 5px;
     border-radius: 5px;
 }