diff options
| author | Sebastian Méric de Bellefon <arnaudpourseb@gmail.com> | 2016-06-16 23:34:39 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-16 23:34:39 -0400 |
| commit | 60f90cd279af21f9d1493cb089309b67ff513146 (patch) | |
| tree | 3494d2e5f8a09595a9c8ca44cf98f6d30c78b65a | |
| parent | e40990d4dbb80db2b7bf5a939866f9eaf4d5b309 (diff) | |
| parent | f45e2c42ae38d651c2d03063724383c35af15788 (diff) | |
Merge pull request #534 from bgamari/T531
ocean: Ensure that synopsis fully covers other content
| -rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 2 |
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 { |