From 915a34be3c3a3872700763eb97ac811ef1109ef4 Mon Sep 17 00:00:00 2001 From: Sebastian Meric de Bellefon 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/ocean.css') 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