update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / roles.css

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.css b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
new file mode 100644 (file)
index 0000000..768c9af
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
@@ -0,0 +1,57 @@
+@charset "UTF-8";
+
+/* anchors ******************************************************************/
+
+a:link {
+  text-decoration: initial;
+  color: inherit;
+}
+
+/* visited link */
+a:visited {
+  text-decoration: initial;
+  color: inherit;
+}
+
+/* mouse over link */
+a:hover {
+  text-decoration: underline;
+  color: inherit;
+}
+
+/* selected link */
+a:active {
+  text-decoration: underline;
+  color: inherit;
+}
+
+/* layouts ******************************************************************/
+
+.atoms-head {
+}
+
+.count {
+}
+
+.atoms {
+  overflow-x: auto;
+  border-bottom: 0.5em solid white;
+}
+
+.atom {
+  padding: 0.25em 0.5em;
+}
+
+.selected {
+  border: 1pt dotted;
+}
+
+/* colors *******************************************************************/
+
+.object {
+  color: skyblue;
+}
+
+.name {
+  color: darkseagreen;
+}