From 8e5c19a16080a7c8798d2ac15a81a65ab462c2f5 Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Wed, 2 Jul 2014 13:43:14 -0700
Subject: [PATCH] add float behavior for margin-note* CSS

original commit: adc491ec80fd00b91b335642e7dbff41cba2c839
---
 .../scribble-pkgs/scribble-lib/scribble/manual-style.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css
index d4651fa8..4b2d3148 100644
--- a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css
+++ b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css
@@ -310,6 +310,15 @@ a:hover {
     border-left: 0.4rem solid #ccb;
 }
 
+/* slightly different handling for margin-note* */
+span.refcolumn {
+    float: right;
+    width: 50%;
+    margin-left: 1rem;
+    margin-bottom: 0.8rem;   
+    margin-top: 1.2rem; 
+}
+
 .refcontent p {
     line-height: 1.5;
     margin: 0;