From 4217ddb700d998e4b57d5e8485380ef9cc16db13 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Wed, 16 May 2018 21:27:29 -0400
Subject: [doc] Improve rendering of Coq objects in PDF output

---
 doc/sphinx/conf.py | 3 +++
 1 file changed, 3 insertions(+)

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:}}
                  """
 }
 
-- 
cgit v1.2.3