Run make on last commit

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index e192672a01629edfe63c9be93cfc4d55bdd2752d..012cf717b804237ad8fd2d4257f99325fb0e968f 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -425,6 +425,7 @@ h6,
 .h4,
 .h5,
 .h6 {
+  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
   font-weight: 500;
   line-height: 1.1;
 }