diff --git a/docs/makefile b/docs/makefile
index 8e8e8f2ef..86d2f5cbe 100644
--- a/docs/makefile
+++ b/docs/makefile
@@ -23,7 +23,7 @@ pdf: $(TARGETS:=.pdf)
 all: html
 
 %.pdf:%.rst
-	rst2pdf $? -o $@
+	rst2pdf $? -o $@ --stylesheets stylesheet
 
 %.html:%.rst
 	python $(DOCUTILS)/tools/rst2html.py --template=template.txt --stylesheet-path=style.css --link-stylesheet --no-toc-backlinks $? > $@
diff --git a/docs/stylesheet b/docs/stylesheet
new file mode 100644
index 000000000..caa6def02
--- /dev/null
+++ b/docs/stylesheet
@@ -0,0 +1,287 @@
+{
+  "embeddedFonts" : [ ],
+  "pageSetup" : {
+    "size": "A4",
+    "width": null,
+    "height": null,
+    "margin-top": "2cm",
+    "margin-bottom": "2cm",
+    "margin-left": "2cm",
+    "margin-right": "2cm",
+    "margin-gutter": "0cm",
+    "firstTemplate": "oneColumn"
+  },
+  "pageTemplates" : {
+    "coverPage": {
+        "frames": [
+            ["0cm", "0cm", "100%", "100%"]
+        ],
+        "showHeader" : false,
+        "showFooter" : false
+    },
+    "oneColumn": {
+        "frames": [
+            ["0cm", "0cm", "100%", "100%"]
+        ]
+    },
+    "twoColumn": {
+        "frames": [
+            ["0cm", "0cm", "49%", "100%"],
+            ["51%", "0cm", "49%", "100%"]
+        ]
+    }
+  },
+  "fontsAlias" : {
+    "stdFont": "Times-Roman",
+    "stdBold": "Times-Bold",
+    "stdItalic": "Times-Italic",
+    "stdBoldItalic": "Times-BoldItalic",
+    "stdMono": "Courier",
+    "stdMonoItalic": "Courier-Oblique",
+    "stdMonoBold": "Courier-Bold",
+    "stdMonoBoldItalic": "Courier-BoldOblique",
+    "stdSerif": "Times-Roman"
+  },
+  "linkColor" : "black",
+  "styles" : [
+    [ "base" , {
+      "parent": null,
+      "fontName": "stdFont",
+      "fontSize":10,
+      "leading":12,
+      "leftIndent":0,
+      "rightIndent":0,
+      "firstLineIndent":0,
+      "alignment":"TA_LEFT",
+      "spaceBefore":0,
+      "spaceAfter":0,
+      "bulletFontName":"stdFont",
+      "bulletFontSize":10,
+      "bulletIndent":0,
+      "textColor": "black",
+      "backColor": null,
+      "wordWrap": null,
+      "borderWidth": 0,
+      "borderPadding": 0,
+      "borderColor": null,
+      "borderRadius": null,
+      "allowWidows": false,
+      "allowOrphans": false,
+      "hyphenation": false
+    }] ,
+    ["normal" , {
+      "parent": "base"
+    }],
+    ["title_reference" , {
+      "parent": "normal",
+      "fontName": "stdItalic"
+    }],
+    ["bodytext" , {
+      "parent": "normal",
+      "spaceBefore":6,
+      "alignment": "TA_JUSTIFY",
+      "hyphenation": true
+    }],
+    ["footer" , {
+      "parent": "normal",
+      "alignment": "TA_CENTER"
+    }],
+    ["header" , {
+      "parent": "normal",
+      "alignment": "TA_CENTER"
+    }],
+    ["attribution" , {
+      "parent": "bodytext",
+      "alignment": "TA_RIGHT"
+    }],
+    ["figure" , {
+      "parent": "bodytext",
+      "alignment": "TA_CENTER"
+    }],
+    ["definition_list_term" , {
+      "parent": "normal",
+      "fontName": "stdBold",
+      "spaceBefore": 4,
+      "spaceAfter": 0,
+      "keepWithNext": true
+    }],
+    ["definition_list_classifier" , {
+      "parent": "normal",
+      "fontName": "stdItalic"
+    }],
+    ["definition" , {
+      "parent": "bodytext",
+      "firstLineIndent": 0,
+      "bulletIndent": 0,
+      "spaceBefore": 0
+    }],
+    ["fieldname" , {
+      "parent": "bodytext",
+      "alignment": "TA_RIGHT",
+      "fontName": "stdBold"
+    }],
+    ["rubric" , {
+      "parent": "bodytext",
+      "textColor": "darkred",
+      "alignment": "TA_CENTER"
+    }],
+    ["italic" , {
+      "parent": "bodytext",
+      "fontName": "stdItalic"
+    }],
+    ["title" , {
+      "parent": "normal",
+      "fontName": "stdBold",
+      "fontSize": "200%",
+      "alignment": "TA_CENTER",
+      "spaceBefore": 12,
+      "spaceAfter": 10
+    }],
+    ["subtitle" , {
+      "parent": "title",
+      "spaceBefore": 9,
+      "spaceAfter": 6,
+      "fontSize": "75%"
+    }],
+    ["heading1" , {
+      "parent": "normal",
+      "fontName": "stdBold",
+      "fontSize": "150%",
+      "keepWithNext": true,
+      "spaceBefore": 9,
+      "spaceAfter": 3
+    }],
+    ["heading2" , {
+      "parent": "normal",
+      "fontName": "stdBold",
+      "fontSize": "125%",
+      "keepWithNext": true,
+      "spaceBefore": 9,
+      "spaceAfter": 3
+    }],
+    ["heading3" , {
+      "parent": "normal",
+      "fontName": "stdBold",
+      "keepWithNext": true,
+      "spaceBefore": 4,
+      "spaceAfter": 2
+    }],
+    ["heading4" , {
+      "parent": "normal",
+      "fontName": "stdBold",
+      "keepWithNext": true
+    }],
+    ["sidebar-title" , {
+      "parent": "heading3"
+    }],
+    ["sidebar-subtitle" , {
+      "parent": "heading4"
+    }],
+    ["sidebar" , {
+      "float": "left",
+      "width": "30%",
+      "parent": "normal",
+      "backColor": "beige",
+      "borderColor": "darkgray",
+      "borderPadding": 8,
+      "borderWidth": 0.5
+    }],
+    ["literal" , {
+      "parent": "normal",
+      "fontName": "stdMono",
+      "firstLineIndent": 0
+    }],
+    ["table" , {
+      "rowBackgrounds" : ["f0f0d8","#ffffe8"],
+      "borderColor": "white"
+    }],
+    ["table-title" , {
+      "parent" : "heading4",
+      "backColor" : "#e0e0c8",
+      "alignment" : "TA_CENTER"
+    }],
+    ["table-heading" , {
+      "parent" : "heading4",
+      "backColor" : "#e0e0c0",
+      "alignment" : "TA_CENTER",
+      "valign" : "BOTTOM"
+    }],
+    ["code" , {
+      "parent": "literal",
+      "fontSize": "75%",
+      "leftIndent": 0,
+      "spaceBefore": 5,
+      "spaceAfter": 5,
+      "backColor": "#e7e7e7",
+      "borderColor": "#808080",
+      "borderRadius": 3,
+      "borderWidth": 0.5,
+      "borderPadding": 4
+    }],
+    ["pygments-n" , {"parent": "code"}],
+    ["pygments-nx" , {"parent": "code"}],
+    ["pygments-p" , {"parent": "code"}],
+    ["pygments-hll", {"parent": "code", "backColor": "#ffffcc"}],
+    ["pygments-c", {"textColor": "#008800", "parent": "code"}],
+    ["pygments-err", {"parent": "code"}],
+    ["pygments-k", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-o", {"textColor": "#666666", "parent": "code"}],
+    ["pygments-cm", {"textColor": "#008800", "parent": "code"}],
+    ["pygments-cp", {"textColor": "#008800", "parent": "code"}],
+    ["pygments-c1", {"textColor": "#008800", "parent": "code"}],
+    ["pygments-cs", {"textColor": "#008800", "parent": "code"}],
+    ["pygments-gd", {"textColor": "#A00000", "parent": "code"}],
+    ["pygments-ge", {"parent": "code"}],
+    ["pygments-gr", {"textColor": "#FF0000", "parent": "code"}],
+    ["pygments-gh", {"textColor": "#000080", "parent": "code"}],
+    ["pygments-gi", {"textColor": "#00A000", "parent": "code"}],
+    ["pygments-go", {"textColor": "#808080", "parent": "code"}],
+    ["pygments-gp", {"textColor": "#000080", "parent": "code"}],
+    ["pygments-gs", {"parent": "code"}],
+    ["pygments-gu", {"textColor": "#800080", "parent": "code"}],
+    ["pygments-gt", {"textColor": "#0040D0", "parent": "code"}],
+    ["pygments-kc", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-kd", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-kn", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-kp", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-kr", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-kt", {"textColor": "#00BB00", "parent": "code"}],
+    ["pygments-m", {"textColor": "#666666", "parent": "code"}],
+    ["pygments-s", {"textColor": "#BB4444", "parent": "code"}],
+    ["pygments-na", {"textColor": "#BB4444", "parent": "code"}],
+    ["pygments-nb", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-nc", {"textColor": "#0000FF", "parent": "code"}],
+    ["pygments-no", {"textColor": "#880000", "parent": "code"}],
+    ["pygments-nd", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-ni", {"textColor": "#999999", "parent": "code"}],
+    ["pygments-ne", {"textColor": "#D2413A", "parent": "code"}],
+    ["pygments-nf", {"textColor": "#00A000", "parent": "code"}],
+    ["pygments-nl", {"textColor": "#A0A000", "parent": "code"}],
+    ["pygments-nn", {"textColor": "#0000FF", "parent": "code"}],
+    ["pygments-nt", {"textColor": "#008000", "parent": "code"}],
+    ["pygments-nv", {"textColor": "#B8860B", "parent": "code"}],
+    ["pygments-ow", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-w", {"textColor": "#bbbbbb", "parent": "code"}],
+    ["pygments-mf", {"textColor": "#666666", "parent": "code"}],
+    ["pygments-mh", {"textColor": "#666666", "parent": "code"}],
+    ["pygments-mi", {"textColor": "#666666", "parent": "code"}],
+    ["pygments-mo", {"textColor": "#666666", "parent": "code"}],
+    ["pygments-sb", {"textColor": "#BB4444", "parent": "code"}],
+    ["pygments-sc", {"textColor": "#BB4444", "parent": "code"}],
+    ["pygments-sd", {"textColor": "#BB4444", "parent": "code"}],
+    ["pygments-s2", {"textColor": "#BB4444", "parent": "code"}],
+    ["pygments-se", {"textColor": "#BB6622", "parent": "code"}],
+    ["pygments-sh", {"textColor": "#BB4444", "parent": "code"}],
+    ["pygments-si", {"textColor": "#BB6688", "parent": "code"}],
+    ["pygments-sx", {"textColor": "#008000", "parent": "code"}],
+    ["pygments-sr", {"textColor": "#BB6688", "parent": "code"}],
+    ["pygments-s1", {"textColor": "#BB4444", "parent": "code"}],
+    ["pygments-ss", {"textColor": "#B8860B", "parent": "code"}],
+    ["pygments-bp", {"textColor": "#AA22FF", "parent": "code"}],
+    ["pygments-vc", {"textColor": "#B8860B", "parent": "code"}],
+    ["pygments-vg", {"textColor": "#B8860B", "parent": "code"}],
+    ["pygments-vi", {"textColor": "#B8860B", "parent": "code"}],
+    ["pygments-il", {"textColor": "#666666", "parent": "code"}]
+  ]
+}
+