Matitaweb:

[helm.git] / matitaB / matita / html / jquery.tooltip.css

diff --git a/matitaB/matita/html/jquery.tooltip.css b/matitaB/matita/html/jquery.tooltip.css
new file mode 100644 (file)
index 0000000..feeca83
--- /dev/null
+++ b/matitaB/matita/html/jquery.tooltip.css
@@ -0,0 +1,9 @@
+#tooltip {
+       position: absolute;
+       z-index: 3000;
+       border: 1px solid #111;
+       background-color: #ffffbf;
+       padding: 5px;
+       /* opacity: 0.85; */
+}
+#tooltip h3, #tooltip div { margin: 0; }