fix

[helm.git] / helm / matita / scripts / public_html / style.css

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
new file mode 100644 (file)
index 0000000..498db55
--- /dev/null
+++ b/helm/matita/scripts/public_html/style.css
@@ -0,0 +1,8 @@
+body {
+  font-family: sans-serif;
+  font-size: 12pt;
+}
+
+a {
+  border: blue 1pt;
+}