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;
 }