doc.css: thinner borders for example blocks

stephengold · Jun 23, 2020 · 1a3c79a · 1a3c79a
1 parent 481eab1
commit 1a3c79a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/css/doc.css b/src/css/doc.css
@@ -459,7 +459,7 @@
 
 .doc .exampleblock > .content {
   background: var(--example-background);
-  border: 0.25rem solid var(--example-border-color);
+  border: 0.15rem solid var(--example-border-color);
   border-radius: 0.5rem;
   padding: 0.75rem;
 }