X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fscripts%2Fpublic_html%2Fstyle.css;fp=matita%2Fscripts%2Fpublic_html%2Fstyle.css;h=dc2df470da1dce6c29fb48d74ceb6740b3261067;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/matita/scripts/public_html/style.css b/matita/scripts/public_html/style.css
new file mode 100644
index 000000000..dc2df470d
--- /dev/null
+++ b/matita/scripts/public_html/style.css
@@ -0,0 +1,55 @@
+body {
+  font-family: sans-serif;
+  font-size: 12pt;
+}
+
+h1 {
+  text-align: center;
+  background-color: #87CEFA;
+}
+
+h2 {
+  margin-right: auto;
+  border-bottom-color: #87CEFA;
+  border-bottom-style: solid;
+  border-bottom-width: 2px;
+}
+
+a, .button {
+  border: 1px outset;
+  text-decoration: none;
+  background-color: #e9e9e9;
+  color: black;
+  cursor:pointer;
+  font-size: small;
+  padding-left:4px;
+  padding-right:4px;
+}
+
+li {
+  margin-bottom: 10pt;
+}
+
+ul {
+  list-style-type: upper-roman;
+}
+
+table, td {
+  border-style:none;
+  padding: 2px 6px 2px 6px;
+}
+
+tr.odd {
+  background-color:#EEEEEE;
+}
+tr.even {
+  background-color:#CECECE;
+}
+
+th {
+  border-style:solid;
+  border-width:0px 0px 1px 0px;
+  border-color: gray;
+}
+
+