From 32fe5545343a5dd8404862661044511e4e897c77 Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Thu, 9 Jan 2014 08:40:11 -0800
Subject: [PATCH] adjust CSS selector for blue boxes in documentation

original commit: 258aa82282118345b4ca7011c715c53763ce93f1
---
 pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css | 4 ++--
 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
index 17108b0e..a4bc28aa 100644
--- 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;