Tue Nov 28 11:46:14 UTC 2017

Repository : ssh://git@git.haskell.org/haddock

On branches: 2.17.3.1-spanfix,alexbiehl-patch-1,ghc-8.0,ghc-8.0-facebook,ghc-head,ghc-head1,haddock-quick,headdock-library-1.4.5,ie_avails,master,pr-filter-maps,pr/cabal-desc,travis,v2.17,v2.17.3,v2.18,wip-located-module-as,wip/D2418,wip/T12105,wip/T12105-2,wip/T12942,wip/T13163,wip/T14529,wip/T3384,wip/embelleshed-rdr,wip/new-tree-one-param,wip/rae,wip/remove-frames,wip/remove-frames1,wip/revert-ttg-2017-11-20,wip/ttg-2017-10-13,wip/ttg-2017-10-31,wip/ttg-2017-11-06,wip/ttg2-2017-11-10,wip/ttg3-2017-11-12,wip/ttg4-constraints-2017-11-13,wip/ttg6-unrevert-2017-11-22
Link       : http://git.haskell.org/haddock.git/commitdiff/915a34be3c3a3872700763eb97ac811ef1109ef4

>---------------------------------------------------------------

commit 915a34be3c3a3872700763eb97ac811ef1109ef4
Author: Sebastian Meric de Bellefon <Sebastian.MericdeBellefon at tritondigital.com>
Date:   Wed May 11 00:16:34 2016 -0400

    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.


>---------------------------------------------------------------

915a34be3c3a3872700763eb97ac811ef1109ef4
 haddock-api/resources/html/Classic.theme/xhaddock.css | 4 ++++
 haddock-api/resources/html/Ocean.std-theme/ocean.css  | 3 +++
 html-test/ref/ocean.css                               | 3 +++
 3 files changed, 10 insertions(+)

diff --git a/haddock-api/resources/html/Classic.theme/xhaddock.css b/haddock-api/resources/html/Classic.theme/xhaddock.css
index ed231b5..19dc28e 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;
 }
 
+ at 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 fcf2381..3ebb14d 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; }
 
+ at media print {
+  #footer { display: none; }
+}
 
 /* @end */
 
diff --git a/html-test/ref/ocean.css b/html-test/ref/ocean.css
index fcf2381..3ebb14d 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; }
 
+ at media print {
+  #footer { display: none; }
+}
 
 /* @end */
 

