]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/html/jquery.tooltip.css
missing notation file
[helm.git] / matitaB / matita / html / 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; }