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   margin-top: 12px;
   9 }
  10
  11 span.versionlabel {
  12   display: inline-block;
  13   position: relative;
  14   top: -10px;
  15   left: 10px;
  16   background-color: white;
  17   border: 1px solid gray;
  18 }
  19
  20 span.versioncontent {
  21   margin-left: 15px;
  22 }
  23
  24 span.floatright {
  25   float: right;
  26 }