From 133892531c41c778ae76fb05c346c9a15d811a03 Mon Sep 17 00:00:00 2001
From: NunoAlexandre <alexandre.nunomiguel@gmail.com>
Date: Tue, 20 Mar 2018 17:51:53 +0100
Subject: [PATCH] Fix issue with menu alignment on firefox
Reported and described here:
https://github.com/haskell/haddock/pull/721#issuecomment-374668869
---
haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 1 +
1 file changed, 1 insertion(+)
diff --git a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
index d9d249ce5e..63443f195d 100644
--- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
+++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
@@ -144,6 +144,7 @@ body.js-enabled .hide-when-js-enabled {
#package-header .caption {
display: inline-block;
margin: 3px 1em 2px 2em;
+ float: left;
}
#package-header ul.links {
--
GitLab