Revert "try reverting back to ~jmsterli (???)"

This reverts commit 38507e7.
RedPRL · Mar 12, 2018 · 8c49456 · 8c49456
1 parent 38507e7
commit 8c49456
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/~jmsterli/fonts/PragmataPro.css')
+    app.add_stylesheet('https://cs.cmu.edu/~redprl/fonts/PragmataPro.css')
     app.add_stylesheet('red.css')
     from redprl import RedPRLLexer
     app.add_lexer('redprl', RedPRLLexer())