style/manual.css

   1 pre.programlisting, pre.screen
   2 {   background-color: #e0e0e0;
   3     padding: 5px;
   4 }
   5
   6 div.versionbox {
   7   border: 1px solid gray;
   8 }
   9
  10 span.versionlabel {
  11   display: inline-block;
  12   position: relative;
  13   top: -10px;
  14   left: 10px;
  15   background-color: white;
  16   border: 1px solid gray;
  17 }
  18
  19 span.versioncontent {
  20   margin-left: 15px;
  21 }
  22
  23 span.floatright {
  24   float: right;
  25 }