diff --git a/assets/uts-style.css b/assets/uts-style.css index 7148ab0..2215049 100644 --- a/assets/uts-style.css +++ b/assets/uts-style.css @@ -256,7 +256,7 @@ section[data-taxon="Proof"]:hover { background-color: rgba(0, 100, 255, 0.04); } -section[data-taxon="Definition"] { +section[data-taxon="Definition"], section[data-taxon="Reference"] { margin: unset; padding-left: 5px; padding-right: 10px; @@ -264,6 +264,11 @@ section[data-taxon="Definition"] { border-radius: 5px; } +section[data-taxon="Example"] { + border: 1px solid var(--taxon-color); + border-radius: 5px; +} + /* Overrides extra styling in style.css */ @@ -355,7 +360,7 @@ nav#toc > .block { } nav#toc > .block > ul.block { - max-height: calc(70vh - var(--offset) * 2); + max-height: calc(80vh - var(--offset) * 2); overflow-y: auto; }