odoc.css: adapt selectors to new include structure.

dbuenzli · Feb 27, 2021 · 20ffd70 · 20ffd70
1 parent ebb40a1
commit 20ffd70
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/odoc/etc/odoc.css b/src/odoc/etc/odoc.css
@@ -392,7 +392,7 @@ pre code {
 
 /* Module member specification */
 
-.spec:not(.include), .spec.include details summary {
+.spec {
   background-color: #f6f8fa;
   background-color: var(--spec-summary-background);
   border-radius: 3px;
@@ -402,7 +402,7 @@ pre code {
   padding: 0.35em 0.5em;
 }
 
-.spec.include details summary:hover {
+.odoc-include details summary:hover {
   background-color: #ebeff2;
   background-color: var(--spec-summary-hover-background);
 }
@@ -443,11 +443,11 @@ div.doc>*:first-child {
 
 /* Collapsible inlined include and module */
 
-.spec.include details {
+.odoc-include details {
   position: relative;
 }
 
-.spec.include details:after {
+.odoc-include details:after {
   z-index: -100;
   display: block;
   content: " ";
@@ -463,15 +463,15 @@ div.doc>*:first-child {
   box-shadow: 0 0px 0 1px var(--spec-details-after-shadow);
 }
 
-.spec.include details summary {
+.odoc-include details summary {
   position: relative;
   margin-bottom: 20px;
   cursor: pointer;
   outline: none;
 }
 
 /* FIXME: Does not work in Firefox. */
-details summary::-webkit-details-marker {
+.odoc-include details summary::-webkit-details-marker {
   color: #888;
   transform: scaleX(-1);
   position: absolute;