Index: utils/dartdoc/static/styles.css |
diff --git a/utils/dartdoc/static/styles.css b/utils/dartdoc/static/styles.css |
index 94620de1c0f5a57170171047a4a30f6ad608a858..a69aee4611966905d324efd4a7e27a50fb29b386 100644 |
--- a/utils/dartdoc/static/styles.css |
+++ b/utils/dartdoc/static/styles.css |
@@ -36,6 +36,11 @@ p { |
margin: 22px 0; |
} |
+h3 + p { |
+ /* Text immediately following a subheader should be snug with it. */ |
+ margin-top: 0; |
+} |
+ |
strong { |
font-weight: 700; |
} |
@@ -141,19 +146,23 @@ hr + h2 { |
background: -o-linear-gradient(top, hsla(0,0%,0%,0.05) 0%,hsla(0,0%,0%,0) 100%); |
background: -ms-linear-gradient(top, hsla(0,0%,0%,0.05) 0%,hsla(0,0%,0%,0) 100%); |
background: linear-gradient(top, hsla(0,0%,0%,0.05) 0%,hsla(0,0%,0%,0) 100%); |
- filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#0d000000', endColorstr='#00000000',GradientType=0); |
} |
-.nav li { |
+ul.icon { |
+ margin: 0 0 22px 0; |
+ padding: 0; |
+} |
+ |
+ul.icon li { |
font: 600 13px/22px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', |
sans-serif; |
list-style-type: none; |
white-space: nowrap; |
} |
-.nav ul { |
- margin: 0 0 22px 0; |
- padding: 0; |
+/* Indent nested lists. */ |
+ul.icon ul { |
+ margin-left: 22px; |
} |
.icon-class, |
@@ -179,6 +188,22 @@ hr + h2 { |
vertical-align: top; |
} |
+.type-box { |
+ display: inline-block; |
+ font: 600 13px/22px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', |
+ sans-serif; |
+ background: #f4f4f4; |
+ padding: 0 6px 0 3px; |
+ border-radius: 4px; |
+} |
+ |
+.type-box .icon-class, |
+.type-box .icon-exception, |
+.type-box .icon-interface { |
+ /* Make a little snugger with the text. */ |
+ margin-right: 5px; |
+} |
+ |
.content { |
margin-left: 308px; /* 14 x 22 */ |
padding: 22px 22px; |
@@ -206,12 +231,12 @@ hr + h2 { |
} |
.param { |
- font: 600 14px/22px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', |
+ font: 600 14px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', |
sans-serif; |
} |
.crossref { |
- font: 600 15px/22px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', |
+ font: 600 15px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', |
sans-serif; |
} |