style adjustments

diff --git a/docs/themes/default/styles.css b/docs/themes/default/styles.css
index 84432d2..19d3639 100644 (file)
--- a/docs/themes/default/styles.css
+++ b/docs/themes/default/styles.css
@@ -170,12 +170,12 @@ a:active {
 input[type=button] {
   cursor:pointer;
   border:outset 1px #ccc;
-  background:#999;
-  color:#666;
   font-weight:bold;
   padding: 1px 2px;
-       -moz-box-shadow:.1em .1em .2em #999999;
-        box-shadow: .1em .1em  .1em #999999;
+  border-radius: .3em .3em .3em .3em;
+  -moz-border-radius: .3em .3em .3em .3em;
+  -moz-box-shadow:.1em .1em .2em #999999;
+  box-shadow: .1em .1em  .1em #999999;
 
 }
 
@@ -516,8 +516,8 @@ div#guide_box{
        border-radius: 0em 0em .5em .5em;
        -moz-border-radius: 0em 0em .5em .5em;
        float:right;
-       -moz-box-shadow:.1em .1em .1em #999999;
-        box-shadow: .1em .1em  .1em #999999;
+       -moz-box-shadow:.1em .1em .0em #999999;
+        box-shadow: .1em .1em  .0em #999999;
        margin-right:2em;
        padding:.1em;
 }
@@ -1096,7 +1096,7 @@ box-shadow: .1em .1em .1em #999999;
   margin-left:auto;
   margin-right:auto;
   height:60px;
-  background-image:url('images/trans_logo2.png');
+/*  background-image:url('images/trans_logo2.png'); */
   background-repeat: no-repeat;
   background-position:98% 0%;
 }
@@ -1268,7 +1268,7 @@ fieldset#shortcuts {
   padding-left: 10pt;
 }
 
-#shortcuts ul {
+.shortcuts ul {
   position: relative;
   margin-top: 0pt;
   margin-bottom: 0pt;
@@ -1382,19 +1382,19 @@ table.etabbed-table input[type=submit] {
        border:0;
        vertical-align:middle;
 }
-div#shortcuts{
+div.shortcuts{
        border-left:thin solid #cccccc;
        border-right:thin solid #cccccc;
        border-bottom:thin solid #cccccc;
        border-radius: 0em 0em .5em .5em;
        -moz-border-radius: 0em 0em .5em .5em;
        float:right;
-       -moz-box-shadow:.1em .1em .1em #999999;
-        box-shadow: .1em .1em  .1em #999999;
+       -moz-box-shadow:.1em .1em .0em #999999;
+        box-shadow: .1em .1em  .0em #999999;
        margin-right:2em;
-       padding:.2em;
+       padding:.1em;
 }
-#shortcuts ul {
+.shortcuts ul {
        position: relative;
        margin-top: 0pt;
        margin-bottom: 0pt;
@@ -1402,7 +1402,7 @@ div#shortcuts{
        list-style-type:  none;
        padding-left: 0pt; 
 }
-#shortcuts li{
+.shortcuts li{
        display: inline;
 }