diff --git a/org.rodinp.handbook.feature/latex/rodin-doc.tex b/org.rodinp.handbook.feature/latex/rodin-doc.tex index cbe5ca8b636a4fe83d4131e777b23d82f41c146c..9bcf3dfc55658392c53594b9b4ebbb75b4edf95b 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,