From f8f16fdeeaba4a84d6c4686cfe077b54282ca635 Mon Sep 17 00:00:00 2001
From: Marien Fressinaud <dev@marienfressinaud.fr>
Date: Fri, 24 Oct 2014 12:10:20 +0200
Subject: [PATCH] Fix a small bug in Screwdriver theme

---
 p/themes/Screwdriver/screwdriver.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/p/themes/Screwdriver/screwdriver.css b/p/themes/Screwdriver/screwdriver.css
index 99ed9130f..aa5758a90 100644
--- a/p/themes/Screwdriver/screwdriver.css
+++ b/p/themes/Screwdriver/screwdriver.css
@@ -617,7 +617,7 @@ a.btn {
 /*=== Body */
 #global {
 	background:#EDE7DE;
-	height: calc(100% - 85px);
+	height: calc(100% - 60px);
 }
 .aside {
 	border-radius: 0px 12px 0px 0px;