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..b54bdcd7082f7234651f8addc3b948e8846e6651 100644 |
--- a/Source/devtools/front_end/documentationView.css |
+++ b/Source/devtools/front_end/documentationView.css |
@@ -5,23 +5,22 @@ |
*/ |
.documentation-example-code { |
- border: 1px dotted black; |
+ border: 1px solid gray; |
border-radius: 6px; |
padding: 1em; |
apavlov
2014/09/05 16:43:00
In general, we don't use ems in our layout?
semeny
2014/09/08 10:03:57
Done.
|
margin-bottom: 1em; |
} |
.documentation-code { |
- border: 1px dotted black; |
+ border: 1px solid gray; |
border-radius: 6px; |
- padding:1em; |
+ padding: 1em; |
margin-bottom: 1em; |
} |
.documentation-section-title { |
font-size: 120%; |
padding-bottom: 0.4em; |
- font-weight: bold; |
} |
.documentation-link { |
@@ -32,6 +31,20 @@ |
font-weight: bold; |
} |
+.documentation-paragraph { |
+ border-top: 4em; |
+} |
+ |
+.documentation-method-signature { |
+ font-size: 120%; |
+ font-family: dejavu sans mono, monospace; |
lushnikov
2014/09/05 15:20:44
We never want to tweak font-family property in any
semeny
2014/09/08 10:03:57
Done.
|
+ border: 1px solid gray; |
+ border-radius: 6px; |
+ margin-left: 1em; |
+ padding: 1em; |
+ display: inline; |
+} |
+ |
.documentation-parameter { |
margin-bottom: 1em; |
} |
@@ -40,24 +53,24 @@ |
margin-bottom: 1.5em; |
} |
+.documentation-section-content { |
+ padding-left: 1em; |
+} |
+ |
.documentation-code-tag { |
font-weight: bold; |
} |
.documentation-parameter-optional { |
- padding: 0.7ex; |
background-color: rgb(219, 234, 249); |
- text-decoration: none; |
- margin-left: 1ex; |
- margin-top: -0.5ex; |
- border-radius: 5px; |
} |
.documentation-parameter-data-type-value { |
- margin-right: 0.5em; |
- padding: 0.7ex; |
background-color: rgb(254, 254, 202); |
- text-decoration: none; |
+ font-family: monospace; |
lushnikov
2014/09/05 15:20:44
the font-family property is very tricky. Instead o
semeny
2014/09/08 10:03:57
Done.
|
+} |
+ |
+.documentation-parameter-margin { |
margin-left: 1ex; |
margin-top: -0.5ex; |
border-radius: 5px; |
@@ -70,7 +83,6 @@ |
.documentation-page-title { |
font-size: 160%; |
- font-weight: bold; |
padding-bottom: 0.7em; |
} |
@@ -85,10 +97,23 @@ |
.documentation-example-link { |
float: right; |
- padding: 0.7ex; |
- background-color: rgb(241, 246, 251); |
- text-decoration: none; |
+ background-color: rgb(219, 234, 249); |
margin-left: 1ex; |
margin-top: -0.5ex; |
+} |
+ |
+.documentation-example-link:visited { |
+ color: rgb(109, 114, 255); |
+} |
+ |
+.documentation-color-box { |
lushnikov
2014/09/05 15:20:44
The "documentation-color-box" css class doesn't he
semeny
2014/09/08 10:03:57
Done.
|
+ padding: 0.7ex; |
+ padding-left: 1ex; |
+ padding-right: 1ex; |
border-radius: 5px; |
+ text-decoration: none; |
} |
+ |
+.documentation-text { |
+ line-height: 160%; |
lushnikov
2014/09/05 15:20:44
i believe you want smth like 1.5 here. We need @eu
semeny
2014/09/08 10:03:57
Done.
|
+} |