www-lcsim/css

diff -u -r1.7 -r1.8
--- lcsim.css	13 Jun 2005 19:07:15 -0000	1.7
+++ lcsim.css	28 Jul 2005 07:57:09 -0000	1.8
@@ -1,34 +1,42 @@

+#
+# Stylesheet (CSS) for www.lcsim.org
+#
+

 body 
 {
   margin-left: 20px;
   background-color: #FFFFFF;

+  font-family: serif;

 }
 
 h1
 {

-  margin-top: 20px; 
-  margin-bottom: 20px;

+  margin-top: 15px; 
+  margin-bottom: 10px;

   padding-left: 10px; 
   padding-right: 10px;

-  padding-top: 10px; 
-  padding-bottom: 10px;

+  padding-top: 0px; 
+  padding-bottom: 5px;

   position: relative;

-  font-size: 30px;

+  font-size: 32px;

   font-family: sans-serif;

-  text-align: center

+  text-align: center;

 }
 
 h2
 {

-  margin-top: 20px; 

+  margin-top: 5px; 

   margin-bottom: 15px;
   padding-left: 15px; 
   padding-right: 5px;
   padding-top: 5px; 
   padding-bottom: 5px;
 

-  border: 2px solid #aaaaaa;
-  background-color: #add8e6;

+  border-bottom-style: solid;
+  border-bottom-width: 1px;
+  border-bottom-color: #aaaaaa;  
+
+  background-color: #e5ecf9;

   font-size: 24px;
   font-family: sans-serif;
   text-align: center

@@ -40,10 +48,13 @@

   margin-bottom: 20px;
   padding-left: 15px; 
   padding-right: 5px;

-  padding-top: 5px; 

+  padding-top: 10px; 

   padding-bottom: 5px;
 

-  border: 2px solid #aaaaaa;

+  border-bottom-style: solid;
+  border-bottom-width: 1px;
+  border-bottom-color: #aaaaaa;  
+  background-color: #ffdada;

 
   font-size:20px;
   font-family: sans-serif;

@@ -56,17 +67,66 @@

   font-family: sans-serif
 }
 

-div.code

+.code

 {

-  font-family: courier

+  font-family: courier;

 }
 
 div.timestamp
 {
   text-align: center;

+  font-size: 11px;
+  margin-bottom: 5px;
+  padding-bottom: 5px;
+}

-  margin-bottom: 10px;
-  padding-bottom: 10px;

+div.footer
+{
+  margin-top: 20px;
+  padding-top: 15px;
+  border-top-style: solid;
+  border-top-width: 1px;
+  border-top-color: #aaaaaa;
+  text-align: center;
+  font-size: 11px;
+}
+
+div.author
+{
+  font-size: 12px;
+}
+
+table.detector
+{
+  align: center;
+  margin-left: 20px;
+}
+
+td.detector
+{
+  padding: 10px;
+  margin-left: 10px;
+  font-size: 14px;
+  border-style: solid;
+  border-width: 1px;
+  border-color: #aaaaaa;
+}
+
+tr.detector
+{
+  border-style: solid;
+  border-width: 1px;
+}
+
+table.quote
+{
+  vertical-align: top;
+}
+
+td.quote
+{
+  font-size: 12px; 
+  vertical-align: top;

 }
 
 a:link