Larger cover letters.

diff --git a/cover.tex b/cover.tex
index 7733c79d4bba2fc6234c8474ff695e98465a98c1..4fe0d2962e2fb88b8f7b80b065c5d61990d7fd37 100644 (file)
--- a/cover.tex
+++ b/cover.tex
@@ -15,7 +15,7 @@
 \font\ft=cmr12 at 14pt
 \font\xt=cmb17 at 24pt
 \font\yt=cmti17
-\font\ct=cmsy17
+\font\ct=cmsy17 at 18pt
 \ft
 \baselineskip=20pt
 
@@ -40,7 +40,7 @@
 \vfil
 \vfil
 
-\centerline{\yt {\ct M}\kern-0.1em artin {\ct M}\kern-0.1em are\v{s}}
+\centerline{\yt {\ct M}\kern-0.13em artin {\ct M}\kern-0.13em are\v{s}}
 
 \vfil