odoc.css: accomodate new markup structure.

dbuenzli · dbuenzli · commit 0041265a7151 · 2021-03-10T20:59:52.000+01:00
diff --git a/src/odoc/etc/odoc.css b/src/odoc/etc/odoc.css
@@ -410,7 +410,7 @@ pre code {
   background-color: var(--spec-summary-hover-background);
 }
 
-div.spec, .doc {
+div.spec, .def-doc {
   margin-bottom: 20px;
 }
 
@@ -435,12 +435,12 @@ div.def {
   padding-left: 2ex;
 }
 
-div.def+div.doc {
+div.def+div.def-doc {
   margin-left: 1ex;
   margin-top: 2.5px
 }
 
-div.doc>*:first-child {
+div.def-doc>*:first-child {
   margin-top: 0;
 }
 
@@ -495,7 +495,7 @@ td.def {
   padding-left: 2ex;
 }
 
-td.doc *:first-child {
+td.def-doc *:first-child {
   margin-top: 0em;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -410,7 +410,7 @@ pre code {`
`410`	`410`	`background-color: var(--spec-summary-hover-background);`
`411`	`411`	`}`
`412`	`412`
`413`		`-div.spec, .doc {`
	`413`	`+div.spec, .def-doc {`
`414`	`414`	`margin-bottom: 20px;`
`415`	`415`	`}`
`416`	`416`
`@@ -435,12 +435,12 @@ div.def {`
`435`	`435`	`padding-left: 2ex;`
`436`	`436`	`}`
`437`	`437`
`438`		`-div.def+div.doc {`
	`438`	`+div.def+div.def-doc {`
`439`	`439`	`margin-left: 1ex;`
`440`	`440`	`margin-top: 2.5px`
`441`	`441`	`}`
`442`	`442`
`443`		`-div.doc>*:first-child {`
	`443`	`+div.def-doc>*:first-child {`
`444`	`444`	`margin-top: 0;`
`445`	`445`	`}`
`446`	`446`
`@@ -495,7 +495,7 @@ td.def {`
`495`	`495`	`padding-left: 2ex;`
`496`	`496`	`}`
`497`	`497`
`498`		`-td.doc *:first-child {`
	`498`	`+td.def-doc *:first-child {`
`499`	`499`	`margin-top: 0em;`
`500`	`500`	`}`
`501`	`501`