From c70d92becda1cb35f7efe60ef1fbc196d90fb5fa Mon Sep 17 00:00:00 2001
From: Daniel Friesel <derf@finalrewind.org>
Date: Sat, 9 Nov 2013 15:03:18 +0100
Subject: no margin if hide_opts is set

---
 cgi/templates/layouts/default.html.ep | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/cgi/templates/layouts/default.html.ep b/cgi/templates/layouts/default.html.ep
index 2d64df2..b3bcf5f 100644
--- a/cgi/templates/layouts/default.html.ep
+++ b/cgi/templates/layouts/default.html.ep
@@ -13,6 +13,13 @@
 		font-family: Sans-Serif;
 	}
 
+% if ($hide_opts) {
+	body {
+		margin: 0;
+		padding: 0;
+	}
+% }
+
 	div.outer {
 		border: 0.2em solid #000066;
 		width: 55em;
-- 
cgit v1.2.3