more making-of

2020-05-01 15:59:34 -07:00
parent d6aaf75831
commit 993de1a5be
16 changed files with 428 additions and 23 deletions
--- a/making-of/includes/font.tex
+++ b/making-of/includes/font.tex
@ -7,6 +7,13 @@
 \newfontfamily\TitleFamily{Inknut Antiqua}
 \newfontface\TitleFont{Inknut Antiqua}
 \newfontfamily\pagenumfont{Gentium Book Basic}
+\newfontfamily\MonoFont{Ubuntu Mono}
+\renewcommand{\ttfamily}{\MonoFont}
+\makeatletter
+\def\verbatim@font{\MonoFont}
+\makeatother
+\newcommand\allyWord{\emph{\allyFont ally}}
+\newcommand\allyId{\emph{\allyFont ally.id}}

 \makeatletter
 \let\oldfootnoterule\footnoterule