[#5] Adjusted manual CSS to place border around @samp

2011-11-20 00:27:43 -05:00 · 2011-11-20 00:27:43 -05:00 · a7258f99cb
parent 199bba3c38
commit a7258f99cb
1 changed files with 1 additions and 1 deletions
--- 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;
 }