From ecdf2d82eea29a902bac2ecdbf62cf2b6b839386 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Sat, 14 Apr 2018 13:41:23 -0400
Subject: doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing

The Ubuntu Font License requires substantially modified fonts to be renamed
entirely.
---
 doc/sphinx/_static/CoqNotations.ttf      | Bin 0 -> 37988 bytes
 doc/sphinx/_static/UbuntuMono-Square.ttf | Bin 38104 -> 0 bytes
 doc/sphinx/_static/notations.css         |  12 ++++++------
 3 files changed, 6 insertions(+), 6 deletions(-)
 create mode 100644 doc/sphinx/_static/CoqNotations.ttf
 delete mode 100644 doc/sphinx/_static/UbuntuMono-Square.ttf

(limited to 'doc/sphinx/_static')

diff --git a/doc/sphinx/_static/CoqNotations.ttf b/doc/sphinx/_static/CoqNotations.ttf
new file mode 100644
index 0000000000..da8f2850df
Binary files /dev/null and b/doc/sphinx/_static/CoqNotations.ttf differ
diff --git a/doc/sphinx/_static/UbuntuMono-Square.ttf b/doc/sphinx/_static/UbuntuMono-Square.ttf
deleted file mode 100644
index 12b7c6d51a..0000000000
Binary files a/doc/sphinx/_static/UbuntuMono-Square.ttf and /dev/null differ
diff --git a/doc/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css
index 9b7b826d58..f899945a35 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 {
-- 
cgit v1.2.3