diff --git a/.gitignore b/.gitignore
index a784965e..b05d0969 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,4 +18,7 @@ silex/*
 scallion/*
 
 # caching of theorems
-cache
\ No newline at end of file
+cache
+
+# emacs backup files
+*~
diff --git a/refman/.gitignore b/refman/.gitignore
new file mode 100644
index 00000000..829b57d1
--- /dev/null
+++ b/refman/.gitignore
@@ -0,0 +1,8 @@
+lisa.aux
+lisa.bbl
+lisa.blg
+lisa.fdb_latexmk
+lisa.fls
+lisa.log
+lisa.out
+lisa.toc
diff --git a/refman/Makefile b/refman/Makefile
new file mode 100644
index 00000000..8467b6dc
--- /dev/null
+++ b/refman/Makefile
@@ -0,0 +1,11 @@
+# Makefile for compiling lisa.tex using latexmk
+
+# Default target
+all: lisa.pdf
+
+lisa.pdf: lisa.tex kernel.tex  lisa.tex  macro.tex  prooflib.tex  quickguide.tex  shortcuts.tex  theory.tex  theorytopics.tex
+	latexmk lisa.tex
+
+# Clean target
+clean:
+	latexmk -c lisa.tex
diff --git a/refman/lisa.pdf b/refman/lisa.pdf
index 14cdfbcc..9f0f3a18 100644
Binary files a/refman/lisa.pdf and b/refman/lisa.pdf differ
diff --git a/refman/lisa.tex b/refman/lisa.tex
index 33a89a09..9132fe70 100644
--- a/refman/lisa.tex
+++ b/refman/lisa.tex
@@ -1,7 +1,17 @@
 % !TEX program = xelatex
-\documentclass[11pt,a4paper]{book}
 
-\input{macro}
+% Page size:
+\documentclass[11pt,b5paper,fullpage]{book}
+  % Reduce margins whatever the original text area size was.
+  \edef\mtht{\the\textheight}
+  \edef\mtwd{\the\textwidth}
+  \usepackage[paperwidth=\dimexpr\mtwd+0.8cm\relax,
+              paperheight=\dimexpr\mtht+1.8cm\relax,
+              text={\mtwd,\mtht},
+              left=0.4cm,
+              top=1.3cm]{geometry}
+
+\input{macro} % also imports
 \input{shortcuts} 
 
 \title{LISA Reference Manual (WIP)}
@@ -13,7 +23,7 @@
 %\newfontfamily\titlefont{Arial}
 
 \begin{titlepage}
-%\titlefont 
+\sf
 %\fontfamily{\sfdefault}\selectfont
 
     \begin{center}
@@ -29,21 +39,26 @@
              
         \vspace{1.5cm}
  
-        {\Large Laboratory for Automated Reasoning and Analysis\\ EPFL, Switzerland}
+        {\Large Laboratory for Automated Reasoning and Analysis \\ \ \\ EPFL, Switzerland}
 
         \vspace{1.5cm}
 
         \date{}
 
     \end{center}
-    \vspace*{10em}
-    \begin{flushright}\huge
-        \begin{tabular}{l}
-         Contributors: \hspace*{2em} \\[1em]
+
+   \vfill
+
+   \begin{flushright}
+    \begin{minipage}{15em}
+      \Large
+         Contributors: \\[1ex]
+        \hspace*{3em} \begin{tabular}{l}
          Simon Guilloud\\
          Sankalp Gambhir
         \end{tabular}
-    \end{flushright}
+    \end{minipage}
+   \end{flushright}
              
  \end{titlepage}
 \chapter*{Introduction}
diff --git a/refman/macro.tex b/refman/macro.tex
index 3f33ec60..950ef3d7 100644
--- a/refman/macro.tex
+++ b/refman/macro.tex
@@ -24,6 +24,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{newunicodechar} %To map unicode in listings to a different font than Fira Code
 \renewcommand\sfdefault{ua1}
+
 \sloppy % better (?) margin handling
 
 
@@ -54,8 +55,7 @@
     linkcolor=blue,
     filecolor=magenta,      
     urlcolor=blue,
-    pdftitle={LISA Reference Manual},
-    pdfpagemode=FullScreen,
+    pdftitle={LISA Reference Manual}
 }
 \urlstyle{same}