matitaB/matita/jquery.tooltip.css

   1 #tooltip {
   2         position: absolute;
   3         z-index: 3000;
   4         border: 1px solid #111;
   5         background-color: #ffffbf;
   6         padding: 5px;
   7         /* opacity: 0.85; */
   8 }
   9 #tooltip h3, #tooltip div { margin: 0; }