From 7e4b1daf4ee5bc7cc4f2d3679c938162402ffab5 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 10 Oct 2013 12:41:42 +0000
Subject: [PATCH] increased margins for print

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15968 1434b563-b632-4741-aa49-43a3a8374d2e
---
 org.rodinp.handbook.feature/latex/rodin-doc.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.rodinp.handbook.feature/latex/rodin-doc.tex b/org.rodinp.handbook.feature/latex/rodin-doc.tex
index cbe5ca8..9bcf3df 100644
--- a/org.rodinp.handbook.feature/latex/rodin-doc.tex
+++ b/org.rodinp.handbook.feature/latex/rodin-doc.tex
@@ -1,6 +1,6 @@
 \ifdefined\isinprint
 \documentclass[twoside,10pt]{book}
-\usepackage[twoside,paperwidth=155.93mm,paperheight=233.89mm,margin=15mm,bindingoffset=5mm]{geometry}
+\usepackage[twoside,paperwidth=155.93mm,paperheight=233.89mm,hmargin={15mm,15mm},vmargin={20mm,20mm},bindingoffset=5mm]{geometry}
 \usepackage[colorlinks=false,
             pdfborder={0 0 0}
 	        pdftex,
-- 
GitLab