diff --git a/lib/docs/index.html b/lib/docs/index.html
index 808b235825c26f28ace85e40456e14cf0b569b61..cf2905cde70e64f9f3f4b01e1fcd90770baaaf62 100644
--- a/lib/docs/index.html
+++ b/lib/docs/index.html
@@ -649,6 +649,10 @@
color: #458;
font-weight: bold;
}
+ .tok-decl-ref {
+ color: #0086b3;
+ font-weight: bold;
+ }
/* dark mode */
@media (prefers-color-scheme: dark) {
@@ -723,6 +727,9 @@
.tok-type {
color: #68f;
}
+ .tok-decl-ref {
+ color: lightblue;
+ }
}
@media only screen and (max-width: 750px) {