Development/Data/style.css

   1 html
   2  {
   3   font-family: sans-serif;
   4   font-size: 12px;
   5   color: #000000;
   6   background-color: #808080;
   7  }
   8
   9 body
  10  {
  11   padding: 5px 5px;
  12  }
  13
  14 h1
  15  {
  16   text-align: center;
  17  }
  18
  19 div.item
  20  {
  21   display: block;
  22   z-index: 0;
  23   margin: 10px 10px;
  24   padding: 5px 5px;
  25   border: thin solid #000000;
  26   background-color: #ffffff;
  27  }
  28
  29 span.argument
  30  {
  31   position: relative;
  32   color: #000080;
  33   font-family: monospace;
  34  }
  35
  36 span.argument div.description
  37  {
  38   display: none;
  39  }
  40
  41 span.argument:hover div.description
  42  {
  43   position: absolute;
  44   z-index: 1;
  45   top: 12px;
  46   left: 5px;
  47   min-width: 150px;
  48   font-family: sans-serif;
  49   padding: 5px 5px;
  50   color: #000000;
  51   background-color: #ffffff;
  52   border: thin solid #000000;
  53   display: block;
  54  }
  55
  56 span.typename
  57  {
  58   color: #808080;
  59   font-style: italic;
  60  }
  61
  62 span.typename:before
  63  {
  64   content: "[";
  65  }
  66
  67 span.typename:after
  68  {
  69   content: "]";
  70  }