temporarily use ~jmsterli for font

RedPRL · Mar 20, 2018 · 2521526 · 2521526
1 parent efcaa8d
commit 2521526
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/conf.py b/doc/src/conf.py
@@ -102,7 +102,7 @@
 html_static_path = ['static']
 
 def setup(app):
-    app.add_stylesheet('https://cs.cmu.edu/~redprl/fonts/PragmataPro.css')
+    app.add_stylesheet('https://cs.cmu.edu/~jmsterli/fonts/PragmataPro.css')
     app.add_stylesheet('red.css')
     from redprl import RedPRLLexer
     app.add_lexer('redprl', RedPRLLexer())