Tweak taxon styles

utensil · Jul 8, 2024 · 9c589a6 · 9c589a6
1 parent 1c981f2
commit 9c589a6
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/assets/uts-style.css b/assets/uts-style.css
@@ -256,14 +256,19 @@ 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;
     padding-bottom: 2px;
     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;
 }