Skip to content

Commit 570b4c6

Browse files
committed
Fix css of variant and record comments
Signed-off-by: Paul-Elliot <[email protected]>
1 parent d243b80 commit 570b4c6

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

src/odoc/etc/odoc.css

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -451,11 +451,13 @@ div.odoc-spec,.odoc-include {
451451

452452
.spec.type .record > .def-doc, .spec.type .variant > .def-doc {
453453
min-width:50%;
454-
padding-left: 22px;
454+
padding-left: 18px;
455455
margin-left: 10%;
456456
border-radius: 3px;
457457
flex-grow:1;
458458
border-left: 0.1em solid var(--spec-summary-border-color);
459+
background: var(--main-background);
460+
box-shadow: 2px 2px 4px lightgrey;
459461
}
460462

461463
div.def {

0 commit comments

Comments
 (0)