diff options
Diffstat (limited to 'haddock-api')
| -rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 6 | 
1 files changed, 3 insertions, 3 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 92600fd7..5450ae2e 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css @@ -359,13 +359,13 @@ ul.links li a {  }  .collapser:before { -  content: '⊖'; +  content: '▿';  }  .expander:before { -  content: "⊕"; +  content: '▹';  }  .noexpander:before { -  content: "⊕"; +  content: '▿';    visibility: hidden;  }  | 
