aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/Ocean.std-theme/ocean.css
diff options
context:
space:
mode:
authorSebastian Méric de Bellefon <arnaudpourseb@gmail.com>2016-06-16 23:34:39 -0400
committerGitHub <noreply@github.com>2016-06-16 23:34:39 -0400
commit60f90cd279af21f9d1493cb089309b67ff513146 (patch)
tree3494d2e5f8a09595a9c8ca44cf98f6d30c78b65a /haddock-api/resources/html/Ocean.std-theme/ocean.css
parente40990d4dbb80db2b7bf5a939866f9eaf4d5b309 (diff)
parentf45e2c42ae38d651c2d03063724383c35af15788 (diff)
Merge pull request #534 from bgamari/T531
ocean: Ensure that synopsis fully covers other content
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/ocean.css')
-rw-r--r--haddock-api/resources/html/Ocean.std-theme/ocean.css2
1 files changed, 2 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 3ebb14de..e8e4d705 100644
--- a/haddock-api/resources/html/Ocean.std-theme/ocean.css
+++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css
@@ -333,6 +333,8 @@ div#style-menu-holder {
top: 10%;
padding: 0;
max-width: 75%;
+ /* Ensure that synopsis covers everything (including MathJAX markup) */
+ z-index: 1;
}
#synopsis .caption {