1 files changed, 1 insertions, 1 deletions
diff --git a/show1 b/show1
index 3637c72..e0d3d83 100755
--- a/show1
+++ b/show1
@@ -1,3 +1,3 @@
 #!/bin/sh
 
-runoff1 "$@" | pr.pl -h "xv6/$@" | mpage -m50t50b -o -bLetter -T -t -2 -FCourier -L60 >x.ps; gv --swap x.ps
+runoff1 "$@" | pr.pl -h "xv6/$@" | mpage -m50t50b -o -bLetter -T -t -2 -FLucidaSans-Typewriter83 -L60 >x.ps; gv --swap x.ps