diff options
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 */ |