diff options
author | Sebastian Méric de Bellefon <arnaudpourseb@gmail.com> | 2016-05-16 12:30:40 -0400 |
---|---|---|
committer | Sebastian Méric de Bellefon <arnaudpourseb@gmail.com> | 2016-05-16 12:30:40 -0400 |
commit | 34f0794b3ac94a11ccdf97a1435f2b34284e2250 (patch) | |
tree | 01133442975c061a021e03d685e42beff7ff6632 /haddock-api/resources/html/Ocean.std-theme/ocean.css | |
parent | cec21957001143794e71bcd9420283df18e7de40 (diff) | |
parent | 915a34be3c3a3872700763eb97ac811ef1109ef4 (diff) |
Merge pull request #502 from Helkafen/master
Fix #303. Hide footer when printing
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/ocean.css')
-rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 3 |
1 files changed, 3 insertions, 0 deletions
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 */ |