diff -u -r1.12 -r1.13
--- lcsim.css	9 Sep 2005 21:10:29 -0000	1.12
+++ lcsim.css	22 Sep 2005 23:17:29 -0000	1.13
@@ -4,210 +4,211 @@

 
 body
 {

-  margin-left: 20px;
-  background-color: #FFFFFF;
-  font-family: serif;

+margin-left: 20px;
+background-color: #FFFFFF;
+font-family: serif;

 }
 
 h1
 {

-  margin-top: 15px;
-  margin-bottom: 10px;
-  padding-left: 10px;
-  padding-right: 10px;
-  padding-top: 0px;
-  padding-bottom: 5px;
-  position: relative;
-  font-size: 28px;
-  font-family: sans-serif;
-  text-align: center;

+margin-top: 15px;
+margin-bottom: 10px;
+padding-left: 10px;
+padding-right: 10px;
+padding-top: 0px;
+padding-bottom: 5px;
+position: relative;
+font-size: 28px;
+font-family: sans-serif;
+text-align: center;

 }
 
 h2
 {

-  margin-top: 5px;
-  margin-bottom: 15px;
-  padding-left: 15px;
-  padding-right: 5px;
-  padding-top: 5px;
-  padding-bottom: 5px;
-
-  border-color: #cccccc;
-
-  border-bottom-style: solid;
-  border-bottom-width: 1px;
-
-  border-right-style: solid;
-  border-right-width: 1px;
-
-  background-color: #e5ecf9;
-  font-size: 20px;
-  font-family: sans-serif;
-  text-align: center

+margin-top: 5px;
+margin-bottom: 15px;
+padding-left: 15px;
+padding-right: 5px;
+padding-top: 5px;
+padding-bottom: 5px;
+
+border-color: #cccccc;
+
+border-bottom-style: solid;
+border-bottom-width: 1px;
+
+border-right-style: solid;
+border-right-width: 1px;
+
+background-color: #e5ecf9;
+font-size: 20px;
+font-family: sans-serif;
+text-align: center

 }
 
 h3
 {

-  margin-top: 20px;
-  margin-bottom: 20px;
-  padding-left: 15px;
-  padding-right: 5px;
-  padding-top: 5px;
-  padding-bottom: 5px;
-
-  border-bottom-style: solid;
-  border-bottom-width: 1px;
-
-  border-right-style: solid;
-  border-right-width: 1px;
-
-  border-color: #cccccc;
-  background-color: #ffe6e6;
-
-  font-size:16px;
-  font-family: sans-serif;
-  text-align:center;

+margin-top: 20px;
+margin-bottom: 20px;
+padding-left: 15px;
+padding-right: 5px;
+padding-top: 5px;
+padding-bottom: 5px;
+
+border-bottom-style: solid;
+border-bottom-width: 1px;
+
+border-right-style: solid;
+border-right-width: 1px;
+
+border-color: #cccccc;
+background-color: #ffe6e6;
+
+font-size:16px;
+font-family: sans-serif;
+text-align:center;

 }
 
 h4
 {

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

+font-size: 14px;
+font-family: sans-serif

 }
 
 .code
 {

-  font-family: courier;

+font-family: courier;

 }
 
 div.timestamp
 {

-  text-align: center;
-  font-size: 11px;
-  margin-bottom: 5px;
-  padding-bottom: 5px;

+text-align: center;
+font-size: 11px;
+margin-bottom: 5px;
+padding-bottom: 5px;

 }
 
 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;

+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;

+font-size: 12px;

 }
 
 h3.detector
 {

-  text-align: center;
-  padding-left: 40px;

+text-align: center;
+padding-left: 40px;

 }
 
 table.detectors_index
 {

-  width: 70%;
-  text-align: left;
-  margin-left: 20px;

+width: 70%;
+text-align: left;
+margin-left: 20px;
+margin-bottom: 10px;

 }
 
 tr.detectors_index
 {

-  border-style: solid;
-  border-width: 1px;

+border-style: solid;
+border-width: 1px;

 }
 
 td.detectors_index
 {

-  padding: 8px;
-  font-size: 16px;
-  border-style: solid;
-  border-width: 1px;
-  border-color: #aaaaaa;

+padding: 8px;
+font-size: 16px;
+border-style: solid;
+border-width: 1px;
+border-color: #aaaaaa;

 }
 
 td.detectors_index_header
 {

-  font-size: 18px;
-  border-style: solid;
-  border-width: 1px;
-  border-color: #aaaaaa;
-  font-weight: bold;

+font-size: 18px;
+border-style: solid;
+border-width: 1px;
+border-color: #aaaaaa;
+font-weight: bold;

 }
 
 tr.detectors_index_header
 {

-  border-style: solid;
-  border-width: 1px;
-  border-color: #aaaaaa;
-  text-align: center;

+border-style: solid;
+border-width: 1px;
+border-color: #aaaaaa;
+text-align: center;

 }
 
 table.detector
 {

-  align: center;
-  margin-left: 20px;
-  text-align: left;
-  width: 70%;

+align: center;
+margin-left: 20px;
+text-align: left;
+width: 70%;

 }
 
 td.detector
 {

-  padding: 5px;
-  padding-left: 10px;
-  font-size: 14px;
-  border-style: solid;
-  border-width: 1px;
-  border-color: #aaaaaa;

+padding: 5px;
+padding-left: 10px;
+font-size: 14px;
+border-style: solid;
+border-width: 1px;
+border-color: #aaaaaa;

 }
 
 td.detector_label
 {

-  padding: 5px;
-  padding-left: 10px;
-  margin-left: 10px;
-  font-size: 16px;
-  font-weight: bold;
-  border-style: solid;
-  border-width: 1px;
-  border-color: #aaaaaa;
-  width: 80px;

+padding: 5px;
+padding-left: 10px;
+margin-left: 10px;
+font-size: 16px;
+font-weight: bold;
+border-style: solid;
+border-width: 1px;
+border-color: #aaaaaa;
+width: 80px;

 }
 
 tr.detector
 {

-  border-style: solid;
-  border-width: 1px;

+border-style: solid;
+border-width: 1px;

 }
 
 table.quote
 {

-  vertical-align: top;

+vertical-align: top;

 }
 
 td.quote
 {

-  font-size: 14px;
-  vertical-align: top;

+font-size: 14px;
+vertical-align: top;

 }
 
 a:link
 {

-  color: #0000ff;

+color: #0000ff;

 }
 
 a:visited
 {

-  color: #ff0000;

+color: #ff0000;

 }
 
 a:hover
 {

-  color: #900000;

+color: #900000;

 }