[r2002-12-11 16:05:45 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-11 16:05:45+00:00

Makefile

@@ -159,6 +159,6 @@ install_web_local:
 
 build_website:
 	rsh cedre ". .env; cd IMPLEM/CDUCE; make web/index.html"
-	scp web/index.html cduce@iris:public_html/
+	scp web/index.html web/cduce.css cduce@iris:public_html/
 
 

web/cduce.css

+body {
+  background: #BBDDFF;
+  color: #000000;
+  margin: 1ex 0 1ex 0;
+  padding: 0;
+}
+
+a:link:hover, a:visited:hover {
+  text-decoration: none;
+  background: #FFFFD0;
+  color: #FF0000;
+}
+
+h1 {
+  color: #FF0000;
+  text-align: center;
+  font: bold 200% helvetica;
+  margin: 0ex 0em 0ex 0em;
+  padding: 0ex;
+}
+h2 {
+  background: #FFF0F0;
+  color: #0000FF;
+  font: bold 102% helvetica;
+  padding: 0.5ex 0 0.5ex 1em;
+  margin: 0 0 0 0;
+}
+h3 {
+  font: bold 60% sans-serif;
+  padding: 0 0 0 2em;
+  margin: 0 0 0 0;
+}
+h4 {
+  font: bold 100% helvetica;
+  color: #008000;
+  padding: 0 0 0 1em;
+  margin: 1em 0 0 0;
+}
+p {
+  text-align: justify;
+  margin: 1ex 1em 0 1em;
+}
+
+
+div.abstract { 
+  font: bold 80% helvetica;
+  margin: 1ex 1em 1ex 1em;
+  padding: 1ex 1em 1ex 1em;
+  background: #F0F0F0;
+}
+div.abstract p { 
+  font: 100% sans-serif;
+}
+div.box {
+  background: #FFFFFF;
+  border: solid 2px #000000;
+  margin: 2ex 1em 0 1em;
+  padding: 0ex 0ex 0.5em 0ex;
+}
+div.title {
+  background: #FFFFFF;
+  border: solid 2px #000000;
+  margin: 2ex 1em 0 1em;
+  padding: 0ex 0ex 0ex 0ex;
+}
+div.meta {
+  background: #E0E0E0;
+  margin: 4ex 0.5em 0 0.5em;
+  border: solid 1px #B0B0B0;
+  padding: 0.5ex;
+  font-size: 80%;
+  font-family: sans-serif;
+}
+@media screen {
+  body {
+    background: #BBDDFF;
+  }
+}