--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/third_party/highlight/styles/docco.css	Tue Jan 13 19:18:47 2026 -0800
@@ -0,0 +1,83 @@
+pre code.hljs {
+  display: block;
+  overflow-x: auto;
+  padding: 1em
+}
+code.hljs {
+  padding: 3px 5px
+}
+/*
+Docco style used in http://jashkenas.github.com/docco/ converted by Simon Madine (@thingsinjars)
+*/
+.hljs {
+  color: #000;
+  background: #f8f8ff
+}
+.hljs-comment,
+.hljs-quote {
+  color: #408080;
+  font-style: italic
+}
+.hljs-keyword,
+.hljs-selector-tag,
+.hljs-literal,
+.hljs-subst {
+  color: #954121
+}
+.hljs-number {
+  color: #40a070
+}
+.hljs-string,
+.hljs-doctag {
+  color: #219161
+}
+.hljs-selector-id,
+.hljs-selector-class,
+.hljs-section,
+.hljs-type {
+  color: #19469d
+}
+.hljs-params {
+  color: #00f
+}
+.hljs-title {
+  color: #458;
+  font-weight: bold
+}
+.hljs-tag,
+.hljs-name,
+.hljs-attribute {
+  color: #000080;
+  font-weight: normal
+}
+.hljs-variable,
+.hljs-template-variable {
+  color: #008080
+}
+.hljs-regexp,
+.hljs-link {
+  color: #b68
+}
+.hljs-symbol,
+.hljs-bullet {
+  color: #990073
+}
+.hljs-built_in {
+  color: #0086b3
+}
+.hljs-meta {
+  color: #999;
+  font-weight: bold
+}
+.hljs-deletion {
+  background: #fdd
+}
+.hljs-addition {
+  background: #dfd
+}
+.hljs-emphasis {
+  font-style: italic
+}
+.hljs-strong {
+  font-weight: bold
+}
\ No newline at end of file