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/Ocean.std-theme/ocean.css | 3 +++
1 file changed, 3 insertions(+)
(limited to 'haddock-api/resources/html/Ocean.std-theme')
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