Improve synopsis style and code

- Use CSS3 instead of loading pictures to show "+" and "-" symbols
- Drop redundant code

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;