From 067eab09af0c6b52dc495ce257cb65c6ea8944ec Mon Sep 17 00:00:00 2001
From: Christian Faulhammer <fauli@gentoo.org>
Date: Sun, 12 Apr 2009 19:23:09 +0200
Subject: [PATCH] Set text size manually to generate larger right margin

---
 pms.tex |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)

diff --git a/pms.tex b/pms.tex
index 82318fd..daa19c0 100644
--- a/pms.tex
+++ b/pms.tex
@@ -23,7 +23,7 @@
   marginnote
 }
 \usepackage[orig,english]{isodate}
-\usepackage[DIV13]{typearea}
+\usepackage{typearea}
 \usepackage[position=top]{caption}
 \usepackage[utf8]{inputenc}
 
@@ -125,6 +125,10 @@
 \pagestyle{myheadings}
 \markboth{\scshape Package Manager Specification}{\scshape Package
   Manager Specification}
+% This is some kind of hack.  We set the proportions of the text area
+% and then move it 20mm to the left to increase the right (outer)
+% margin.
+\areaset[-20mm]{400pt}{700pt}
 
 \begin{document}
 \maketitle
-- 
1.6.0.6