From e038e130188a0b43f66dfbc084cd8d9ca2cfb550 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Wed, 10 Feb 2021 22:56:31 -0800
Subject: Include (* ... *) comments in .. coqtop:: directives in Sphinx output

---
 doc/sphinx/_static/notations.css | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'doc/sphinx/_static')

diff --git a/doc/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css
index abb08d98cc..e262a9305d 100644
--- a/doc/sphinx/_static/notations.css
+++ b/doc/sphinx/_static/notations.css
@@ -267,6 +267,11 @@ code span.error {
     color: inherit !important;
 }
 
+
+.coqdoc-comment {
+    color: #808080 !important
+}
+
 /* make the error message index readable */
 .indextable code {
     white-space: inherit;  /* break long lines */
-- 
cgit v1.2.3