Index: tools/telemetry/third_party/coverage/doc/_static/neds.css |
diff --git a/tools/telemetry/third_party/coverage/doc/_static/neds.css b/tools/telemetry/third_party/coverage/doc/_static/neds.css |
new file mode 100644 |
index 0000000000000000000000000000000000000000..d1b84a82d09246bdafc865329c505b814fa7133e |
--- /dev/null |
+++ b/tools/telemetry/third_party/coverage/doc/_static/neds.css |
@@ -0,0 +1,227 @@ |
+/* neds.css: a copy of default.css, so that the HTML output looks kind of |
+ like nedbatchelder.com. |
+*/ |
+ |
+@import url("basic.css"); |
+ |
+/* ---------------------------- */ |
+ |
+/** |
+ * Sphinx stylesheet -- default theme |
+ * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
+ */ |
+ |
+ |
+/* -- page layout ----------------------------------------------------------- */ |
+ |
+body { |
+ font-family: verdana, sans-serif; |
+ font-size: 10pt; |
+ background-color: #11303d; |
+ color: #000; |
+ margin: 0; |
+ padding: 0; |
+} |
+ |
+div.document { |
+ background-color: #808080; |
+} |
+ |
+div.body { |
+ background-color: #ffffff; |
+ color: #000000; |
+ padding: 0 20px 30px 20px; |
+ max-width: 650px; |
+ margin-left: 150px; |
+} |
+ |
+div.footer { |
+ color: #ffffff; |
+ width: 100%; |
+ padding: 9px 0 9px 0; |
+ text-align: center; |
+ font-size: 75%; |
+} |
+ |
+div.footer a { |
+ color: #ffffff; |
+ text-decoration: underline; |
+} |
+ |
+div.related { |
+ background-color: #133f52; |
+ line-height: 30px; |
+ color: #ffffff; |
+} |
+ |
+div.related a { |
+ color: #ffffff; |
+} |
+ |
+div.sphinxsidebar { |
+} |
+ |
+div.sphinxsidebar h3 { |
+ color: #ffffff; |
+ font-size: 1.4em; |
+ font-weight: normal; |
+ margin: 0; |
+ padding: 0; |
+} |
+ |
+div.sphinxsidebar h3 a { |
+ color: #ffffff; |
+} |
+ |
+div.sphinxsidebar h4 { |
+ color: #ffffff; |
+ font-size: 1.3em; |
+ font-weight: normal; |
+ margin: 5px 0 0 0; |
+ padding: 0; |
+} |
+ |
+div.sphinxsidebar p { |
+ color: #ffffff; |
+} |
+ |
+div.sphinxsidebar p.topless { |
+ margin: 5px 10px 10px 10px; |
+} |
+ |
+div.sphinxsidebar ul { |
+ margin: 10px; |
+ padding: 0; |
+ color: #ffffff; |
+} |
+ |
+div.sphinxsidebar a { |
+ color: #98dbcc; |
+} |
+ |
+div.sphinxsidebar input { |
+ border: 1px solid #98dbcc; |
+ font-family: sans-serif; |
+ font-size: 1em; |
+} |
+ |
+/* -- body styles ----------------------------------------------------------- */ |
+ |
+a { |
+ color: #355f7c; |
+ text-decoration: none; |
+} |
+ |
+a:hover { |
+ text-decoration: underline; |
+} |
+ |
+div.body p, div.body dd, div.body li { |
+ line-height: 130%; |
+} |
+ |
+div.body h1, |
+div.body h2, |
+div.body h3, |
+div.body h4, |
+div.body h5, |
+div.body h6 { |
+ font-size: 1em; |
+ border-bottom: 1px solid silver; |
+ margin: 1em 0; |
+} |
+ |
+div.body h1 { margin-top: 0; padding-top: 1em; font-size: 150%; } |
+div.body h2 { font-size: 100%; } |
+/* H3's are run-in with the text. */ |
+div.body h3 { |
+ font-size: 100%; display: inline; line-height: 1.35em; |
+ float: left; |
+ margin: 0 1.5em 0 0; |
+} |
+ |
+ |
+div.body h4 { font-size: 120%; } |
+div.body h5 { font-size: 110%; } |
+div.body h6 { font-size: 100%; } |
+ |
+table.field-list { |
+ margin-left: 300px; |
+ color: #888; |
+ font-style: italic; |
+ font-size: 80%; |
+} |
+ |
+a.headerlink { |
+ color: #c60f0f; |
+ font-size: 0.8em; |
+ padding: 0 4px 0 4px; |
+ text-decoration: none; |
+} |
+ |
+a.headerlink:hover { |
+ background-color: #c60f0f; |
+ color: white; |
+} |
+ |
+div.body p, div.body dd, div.body li { |
+ line-height: 130%; |
+} |
+ |
+div.admonition p.admonition-title + p { |
+ display: inline; |
+} |
+ |
+div.note { |
+ background-color: #eee; |
+ border: 1px solid #ccc; |
+} |
+ |
+div.seealso { |
+ background-color: #ffc; |
+ border: 1px solid #ff6; |
+} |
+ |
+div.topic { |
+ background-color: #eee; |
+} |
+ |
+div.warning { |
+ background-color: #ffe4e4; |
+ border: 1px solid #f66; |
+} |
+ |
+p.admonition-title { |
+ display: inline; |
+} |
+ |
+p.admonition-title:after { |
+ content: ":"; |
+} |
+ |
+pre { |
+ padding: 5px; |
+ background-color: #eeffcc; |
+ color: #333333; |
+ line-height: 120%; |
+ border: 1px solid #ac9; |
+ border-left: none; |
+ border-right: none; |
+} |
+ |
+tt { |
+ background-color: #ecf0f3; |
+ padding: 0 1px 0 1px; |
+ font-size: 0.95em; |
+} |
+ |
+li { |
+ margin-bottom: 0.4em; |
+} |
+ul { |
+ list-style-type: square; |
+} |
+ |
+.external.reference em { |
+ font-style: normal; |
+} |