style adjustments

diff --git a/docs/themes/default/include/header.tmpl.php b/docs/themes/default/include/header.tmpl.php
index 4c9bcd6..245f8ff 100644 (file)
--- a/docs/themes/default/include/header.tmpl.php
+++ b/docs/themes/default/include/header.tmpl.php
@@ -89,7 +89,7 @@ $starttime = $mtime;
     </script>
 
        <link href='http://fonts.googleapis.com/css?family=Droid+Sans:regular,bold' rel='stylesheet' type='text/css' />
-       <link rel="icon" href="favicon.ico" type="image/x-icon" /> 
+       <link rel="icon" href="<?php echo $this->base_path; ?>favicon.ico" type="image/x-icon" /> 
        <link rel="stylesheet" href="<?php echo $this->base_path.'themes/'.$this->theme; ?>/forms.css" type="text/css" />
        <link rel="stylesheet" href="<?php echo $this->base_path.'themes/'.$this->theme; ?>/styles.css" type="text/css" />
        <!--[if IE]>

diff --git a/docs/themes/default/styles.css b/docs/themes/default/styles.css
index 174ffa0..9172e4b 100644 (file)
--- a/docs/themes/default/styles.css
+++ b/docs/themes/default/styles.css
@@ -1493,6 +1493,7 @@ ul#content-tool-links img{
 }
 .selected-sidemenu {
     font-weight:bold;
+    color: #ffffff;
 }
 div#alternatives_shortcuts {
        float: right;