From 7b07bc9aac0f7f990b8b12e7120d7a4e0bcd4fee Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 26 Mar 2020 17:45:03 +0100
Subject: Add style for smallcaps.

Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>
---
 doc/sphinx/_static/coqdoc.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/sphinx/_static/coqdoc.css b/doc/sphinx/_static/coqdoc.css
index 32cb0a7a15..c0b4ee4a9f 100644
--- a/doc/sphinx/_static/coqdoc.css
+++ b/doc/sphinx/_static/coqdoc.css
@@ -66,3 +66,7 @@
 .coqdoc-tactic {
     font-weight: bold;
 }
+
+.smallcaps {
+    font-variant: small-caps;
+}
-- 
cgit v1.2.3