Make the default 16-pixel high-intensity font 'courier' rather than 'digital'

(some people complain that number 1 looks like a pipe symbol).

Make the default 16-pixel high-intensity font 'courier' rather than 'digital'
6429d952 · rswindell · 20bb78ef · 6429d952
Commit 6429d952 authored 6 years ago by rswindell
--- a/ctrl/fonts.ini
+++ b/ctrl/fonts.ini
@@ -236,7 +236,7 @@ oldenglish=oldeng.f14

 [default:16]
 normal=cp437
-high=digital
+high=courier
 blink=gothical
 highblink=computer