1 files changed, 3 insertions, 0 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 96cff735f5..35c08fd806 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -307,6 +307,9 @@ latex_elements = {
 
                  % Style definitions for notations
                  \usepackage{coqnotations}
+
+                 % Style tweaks
+                 \newcssclass{sigannot}{\textrm{#1:}}
                  """
 }