From 915a34be3c3a3872700763eb97ac811ef1109ef4 Mon Sep 17 00:00:00 2001
From: Sebastian Meric de Bellefon
 <Sebastian.MericdeBellefon@tritondigital.com>
Date: Wed, 11 May 2016 00:16:34 -0400
Subject: Fix #303. Hide footer when printing

The "Produced by Haddock" footer was overlapping the page's body when printing.
This patch hides the footer with a css media rule.
---
 haddock-api/resources/html/Classic.theme/xhaddock.css | 4 ++++
 haddock-api/resources/html/Ocean.std-theme/ocean.css  | 3 +++
 2 files changed, 7 insertions(+)

(limited to 'haddock-api/resources')

diff --git a/haddock-api/resources/html/Classic.theme/xhaddock.css b/haddock-api/resources/html/Classic.theme/xhaddock.css
index ed231b5a..19dc28ec 100644
--- a/haddock-api/resources/html/Classic.theme/xhaddock.css
+++ b/haddock-api/resources/html/Classic.theme/xhaddock.css
@@ -116,6 +116,10 @@ ul.links li {
   cursor: pointer;
 }
 
+@media print {
+  #footer { display: none; }
+}
+
 #package-header {
 	color: #ffffff;
 	padding: 5px 5px 5px 31px;
diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css
index fcf23810..3ebb14de 100644
--- a/haddock-api/resources/html/Ocean.std-theme/ocean.css
+++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css
@@ -183,6 +183,9 @@ pre {
 .keyword { font-weight: normal; }
 .def { font-weight: bold; }
 
+@media print {
+  #footer { display: none; }
+}
 
 /* @end */
 
-- 
cgit v1.2.3