Deletion of a debug trace
Change the css and ico path : not recognised on the published site !

Change-Id: I4b0b1c9da51d9b262847db81a4bf5a5c74925364
Signed-off-by: djonathan <jonathan.dumont@all4tec.net>
diff --git a/theme/header.php b/theme/header.php
index dcccf01..485628f 100644
--- a/theme/header.php
+++ b/theme/header.php
@@ -21,7 +21,7 @@
   xmlns:skos="http://www.w3.org/2004/02/skos/core#"
   xmlns:xsd="http://www.w3.org/2001/XMLSchema#">
   
-<link rel="icon" type="image/png" href="/images/esf.ico" />
+<link rel="icon" type="image/png" href="images/esf.ico" />
 
 <head profile="http://www.w3.org/1999/xhtml/vocab">
   <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
@@ -32,7 +32,7 @@
   <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
   
   <link rel="stylesheet" type="text/css"
-    href="/theme/css/esf-default.css"
+    href="theme/css/esf-default.css"
     media="all" />
   
   <?php if( isset($extraHtmlHeaders) ) echo $extraHtmlHeaders; ?>
diff --git a/theme/menu.php b/theme/menu.php
index 0d076f9..54cfd16 100644
--- a/theme/menu.php
+++ b/theme/menu.php
@@ -18,7 +18,6 @@
   $featuresStyle  = "";
   $startStyle     = "";
   $communityStyle = "";
-  echo $filename;
   if ($filename == "index.php") {
     $indexStyle = "selected";
   } else if ($filename == "features.php") {