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.
---
 html-test/ref/ocean.css | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'html-test/ref')

diff --git a/html-test/ref/ocean.css b/html-test/ref/ocean.css
index fcf23810..3ebb14de 100644
--- a/html-test/ref/ocean.css
+++ b/html-test/ref/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