3 files changed, 6 insertions, 8 deletions
diff --git a/haddock-api/resources/html/NewOcean.std-theme/minus.gif b/haddock-api/resources/html/NewOcean.std-theme/minus.gif
deleted file mode 100644
index 1deac2fe..00000000
--- a/haddock-api/resources/html/NewOcean.std-theme/minus.gif
+++ /dev/null
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 8416176c..7568032f 100644
--- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
+++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
@@ -352,7 +352,7 @@ ul.links li a {
 .show { display: inherit; }
 .clear { clear: both; }
 
-.collapser:before, .expander:before {
+.collapser:before, .expander:before, .noexpander:before {
   font-size: 1.2em;
   color: #9C5791;
   display: inline-block;
@@ -360,11 +360,15 @@ ul.links li a {
 }
 
 .collapser:before {
-  content: '⊗';
+  content: '⊖';
 }
 .expander:before {
   content: "⊕";
 }
+.noexpander:before {
+  content: "⊕";
+  visibility: hidden;
+}
 
 .collapser, .expander {
   cursor: pointer;
@@ -380,12 +384,6 @@ ul.links li a {
 summary {
   cursor: pointer;
   outline: none;
-  list-style-image: url(plus.gif);
-  list-style-position: outside;
-}
-
-details[open] > summary {
-  list-style-image: url(minus.gif);
 }
 
 pre {
diff --git a/haddock-api/resources/html/NewOcean.std-theme/plus.gif b/haddock-api/resources/html/NewOcean.std-theme/plus.gif
deleted file mode 100644
index 2d15c141..00000000
--- a/haddock-api/resources/html/NewOcean.std-theme/plus.gif
+++ /dev/null