From a7258f99cb2c2f45a154eaa3a87fd822d1409317 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Sun, 20 Nov 2011 00:27:43 -0500
Subject: [PATCH] [#5] Adjusted manual CSS to place border around @samp

---
 doc/manual.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual.css b/doc/manual.css
index 3d904a5..ad52985 100644
--- a/doc/manual.css
+++ b/doc/manual.css
@@ -74,7 +74,7 @@ sub.left {
   bottom: -0.2em;
 }
 
-.float {
+.float, samp {
   border:  1px solid #babdb6;
   padding: 0px;
 }