diff options
| -rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 26 |
1 files changed, 13 insertions, 13 deletions
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 8a7fdf97..4d336296 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css @@ -237,23 +237,23 @@ ul.links li a { .show { display: inherit; } .clear { clear: both; } -.collapser { - background-image: url(minus.gif); - background-repeat: no-repeat; +.collapser:before, .expander:before { + font-size: 0.9em; + color: #5E5184; + display: inline-block; + padding-right: 7px; +} + +.collapser:before { + content: '-' } -.expander { - background-image: url(plus.gif); - background-repeat: no-repeat; +.expander:before { + content: "+"; } + .collapser, .expander { - padding-left: 14px; - margin-left: -14px; cursor: pointer; } -p.caption.collapser, -p.caption.expander { - background-position: 0 0.4em; -} .instance.collapser, .instance.expander { margin-left: 0px; @@ -306,7 +306,7 @@ pre { } #package-header { - background: rgb(94, 81, 132); + background: #5E5184; border-bottom: 5px solid rgba(69, 59, 97, 0.5); color: #ddd; padding: 0.6em 0 0.2em 0; |