doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing

The Ubuntu Font License requires substantially modified fonts to be renamed
entirely.

3 files changed, 6 insertions, 6 deletions

diff --git a/doc/sphinx/_static/CoqNotations.ttf b/doc/sphinx/_static/CoqNotations.ttf
new file mode 100644
index 000000000..da8f2850d
--- /dev/null
+++ b/doc/sphinx/_static/CoqNotations.ttf
diff --git a/doc/sphinx/_static/UbuntuMono-Square.ttf b/doc/sphinx/_static/UbuntuMono-Square.ttf
deleted file mode 100644
index 12b7c6d51..000000000
--- a/doc/sphinx/_static/UbuntuMono-Square.ttf
+++ /dev/null
diff --git a/doc/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css
index 9b7b826d5..f899945a3 100644
--- a/doc/sphinx/_static/notations.css
+++ b/doc/sphinx/_static/notations.css
@@ -22,10 +22,10 @@
 }
 
 @font-face { /* This font has been edited to center all characters */
-  font-family: 'UbuntuMono-Square';
+  font-family: 'CoqNotations';
   font-style: normal;
   font-weight: 800;
-  src: local('UbuntuMono-Square'), url(./UbuntuMono-Square.ttf) format('truetype');
+  src: local('CoqNotations'), url(./CoqNotations.ttf) format('truetype');
 }
 
 .notation .notation-sup, .notation .notation-sub {
@@ -34,15 +34,15 @@
     color: black;
     /* cursor: help; */
     display: inline-block;
-    font-size: 0.5em;
+    font-size: 0.45em;
     font-weight: bolder;
-    font-family: UbuntuMono-Square, monospace;
-    height: 2em;
+    font-family: CoqNotations, monospace;
+    height: 2.2em;
     line-height: 1.6em;
     position: absolute;
     right: -1em; /* half of the width */
     text-align: center;
-    width: 2em;
+    width: 2.2em;
 }
 
 .notation .repeat {