FakeBold is alright for print but too ugly on display, don't use it
authorAmin Bandali <amin@aminb.org>
Wed, 21 Dec 2016 02:37:09 +0000 (21:37 -0500)
committerAmin Bandali <amin@aminb.org>
Wed, 21 Dec 2016 02:37:09 +0000 (21:37 -0500)
cv.tex

diff --git a/cv.tex b/cv.tex
index a0dc6e8..d268d9a 100644 (file)
--- a/cv.tex
+++ b/cv.tex
@@ -24,7 +24,6 @@
 \usepackage{fontspec}
 \setmainfont[Numbers=Lining]{EB Garamond}
 \newfontfamily{\smallcaps}[RawFeature={+c2sc,+scmp}]{EB Garamond}
 \usepackage{fontspec}
 \setmainfont[Numbers=Lining]{EB Garamond}
 \newfontfamily{\smallcaps}[RawFeature={+c2sc,+scmp}]{EB Garamond}
-\newfontfamily{\bfseries}[FakeBold=2]{EB Garamond}
 \newcommand{\amper}{{\fontspec[Scale=.9]{EB Garamond}\selectfont\itshape\&}}
 
 %% Load Microtype with default settings. This will use the
 \newcommand{\amper}{{\fontspec[Scale=.9]{EB Garamond}\selectfont\itshape\&}}
 
 %% Load Microtype with default settings. This will use the
   \textit{York University}, Canada
 
   \begin{itemize}
   \textit{York University}, Canada
 
   \begin{itemize}
-  \item \textbf{GPA:} 7.9/9.0
-  \item \textbf{Expected completion:} December 2017
-  \item \textbf{Relevant courses:} System Specification \amper\
+  \item GPA: 7.9/9.0
+  \item Expected completion: December 2017
+  \item Relevant courses: System Specification \amper\
     Refinement, Operating System Design, Computational Complexity, Artificial
     Intelligence \amper\ Logic Programming, Design \amper\ Analysis of
     Algorithms.
     Refinement, Operating System Design, Computational Complexity, Artificial
     Intelligence \amper\ Logic Programming, Design \amper\ Analysis of
     Algorithms.
 
   \begin{itemize}
   \item Semester project: As an undergraduate research student, I
 
   \begin{itemize}
   \item Semester project: As an undergraduate research student, I
-    worked on \textbf{Literate Unit-B}, the verifier for Unit-B, a new
+    worked on \textit{Literate Unit-B}, the verifier for Unit-B, a new
     formal method focused on formal verification of reactive, concurrent
     and distributed systems.
 
     From the Literate Unit-B codebase (written in Haskell), I decoupled the
     formal method focused on formal verification of reactive, concurrent
     and distributed systems.
 
     From the Literate Unit-B codebase (written in Haskell), I decoupled the
-    logic module and used it to build \textbf{Unit-B Web}, a web interface using
+    logic module and used it to build \textit{Unit-B Web}, a web interface using
     Literate Unit-B to do predicate calculus proofs. \linebreak Unit-B Web, also
     written in Haskell, supports the \LaTeX\ syntax of the Unit-B logic, renders
     user input on the page, and calls the sequent prover of the logic
     Literate Unit-B to do predicate calculus proofs. \linebreak Unit-B Web, also
     written in Haskell, supports the \LaTeX\ syntax of the Unit-B logic, renders
     user input on the page, and calls the sequent prover of the logic