replace "thin" with "1px" for IE compatibility

diff --git a/docs/themes/default/styles.css b/docs/themes/default/styles.css
index 6dabc43..4e2a1c8 100644 (file)
--- a/docs/themes/default/styles.css
+++ b/docs/themes/default/styles.css
@@ -287,7 +287,7 @@ div#sequence-links a {
 
 table.tabbed-table {
   width: 100%;
-  border:thin black solid;
+  border:1px black solid;
 }
 table.tabbed-table th#left-empty-tab {
   background-color: transparent;
@@ -353,7 +353,7 @@ table.tabbed-table a, table.tabbed-table a:visited, table.tabbed-table a:hover {
   font-size: 130%;
 }
 #banner {
-  /* border: thin #365D95 solid; */
+  /* border: 1px #365D95 solid; */
   margin: 1.5em 1em 0em 1em;
   /* border-bottom: black 1px solid; */
   padding-top:4px;
@@ -516,9 +516,9 @@ a#guide {
 div#guide_box{
 background-color:#FAEBD7;
 /*
-       border-left:thin solid #cccccc;
-       border-right:thin solid #cccccc;
-       border-bottom:thin solid #cccccc;
+       border-left:1px solid #cccccc;
+       border-right:1px solid #cccccc;
+       border-bottom:1px solid #cccccc;
 */
        border-radius: 0em 0em .5em .5em;
        -moz-border-radius: 0em 0em .5em .5em;
@@ -935,7 +935,7 @@ ul.topnavlist {
   list-style-position:inside;
   list-style: disc inside;
   line-height:1.0em;
-  border:thin solid black;
+  border:1px solid black;
 }
 
 ul.topnavlist li {
@@ -1080,7 +1080,7 @@ margin-right:auto;
 background-color:#ffffff;
 background-image:url('images/books_top.jpg');
 background-repeat:repeat-x;
-border:thin solid #000000;
+border:1px solid #000000;
 width:97%;
 margin-top:.2em;
 margin-left:auto;
@@ -1144,9 +1144,9 @@ div.topnavlistcontainer {
   font-weight:700;
   text-decoration:underline;
   margin-left:.1em;
-  border-left:thin solid #cccccc;
-  border-right:thin solid #cccccc;
-  border-top:thin solid #cccccc;
+  border-left:1px solid #cccccc;
+  border-right:1px solid #cccccc;
+  border-top:1px solid #cccccc;
   border-radius:.3em .3em 0em 0em;
   -moz-border-radius:.3em .3em 0em 0em;
 } 
@@ -1437,9 +1437,9 @@ table.etabbed-table td.tab-spacer {
        vertical-align:middle;
 }
 div.shortcuts{
-       border-left:thin solid #cccccc;
-       border-right:thin solid #cccccc;
-       border-bottom:thin solid #cccccc;
+       border-left:1px solid #cccccc;
+       border-right:1px solid #cccccc;
+       border-bottom:1px solid #cccccc;
        border-radius: 0em 0em .5em .5em;
        -moz-border-radius: 0em 0em .5em .5em;
        float:right;