commit 32fe5545343a5dd8404862661044511e4e897c77
parent 929b10f1bf3ca50f6a93e45c0447b78b5b5dc190
Author: Matthew Butterick <mb@mbtype.com>
Date: Thu, 9 Jan 2014 08:40:11 -0800
adjust CSS selector for blue boxes in documentation
original commit: 258aa82282118345b4ca7011c715c53763ce93f1
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css
@@ -556,7 +556,7 @@ blockquote {
margin-left: 0em;
margin-right: 2em;
white-space: nowrap;
- line-height: 1.4;
+ line-height: 1.5;
}
.SCodeFlow img {
@@ -564,7 +564,7 @@ blockquote {
margin-bottom: 0.5em;
}
-.SVInsetFlow, .SIntrapara > table.RBoxed {
+.boxed {
margin: 0;
margin-top: 2em;
padding: 0.25em;