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 /haddock-api/src/Haddock/Options.hs | |
| 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.
Diffstat (limited to 'haddock-api/src/Haddock/Options.hs')
0 files changed, 0 insertions, 0 deletions