diff options
author | Sebastian Meric de Bellefon <Sebastian.MericdeBellefon@tritondigital.com> | 2016-05-11 00:16:34 -0400 |
---|---|---|
committer | Sebastian Meric de Bellefon <Sebastian.MericdeBellefon@tritondigital.com> | 2016-05-14 11:29:47 -0400 |
commit | 915a34be3c3a3872700763eb97ac811ef1109ef4 (patch) | |
tree | d8cbbc9f920a74dc6e83973cf29f98ac6e58646f | |
parent | 26e6b39de3213969d7de7f8bb3d4a849136866d1 (diff) |
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.
-rw-r--r-- | haddock-api/resources/html/Classic.theme/xhaddock.css | 4 | ||||
-rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 3 | ||||
-rw-r--r-- | html-test/ref/ocean.css | 3 |
3 files changed, 10 insertions, 0 deletions
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 */ 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 */ |