Tweak ns3 Sphinx theme, add favicon

doc/ns3_sphinx_theme/layout.html

@@ -14,7 +14,7 @@
     href="_static/ns3_stylesheet.css"/>
     
   {%- if theme_favicon %}
-    <link rel="icon" type="image/png" 
+    <link rel="icon" type="image/ico" 
       href="{{ pathto('_static/'+theme_favicon, 1) }}" />
   {%- endif %}
 {% endblock %}
@@ -46,6 +46,11 @@
       
 {% endblock %}
 
+{% block rootrellink %}
+    <li><a href="http://www.nsnam.org/">ns-3</a> &raquo;</li>
+    {{ super() }}
+{% endblock %}
+      
 {% if theme_collapsiblesidebar|tobool %}
   {% set script_files = script_files + ['_static/sidebar.js'] %}
 {% endif %}

doc/ns3_sphinx_theme/static/ns3_stylesheet.css

@@ -1,11 +1,19 @@
 /* ns-3 changes to the default CSS from Doxygen and Sphinx */
 
-body {
+body, table, div, p, dl {
 	font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
 	font-size: 12px;
 	color: black;
 }
 
+a {
+	color: #91A501;
+}
+
+#nav-tree {
+	font-size: 12px;
+}
+
 div.related a {
 	font-size: 14px;
 	font-weight: bold;
@@ -29,6 +37,7 @@ div.sphinxsidebar {
 	margin: 10px;
 	vertical-align: middle;
 	width: 220px;
+	color: white;
 }
 
 #projecttext
@@ -43,6 +52,7 @@ div.sphinxsidebar {
 	font: 120% Tahoma, Arial,sans-serif;
 	margin: 0px;
 	padding: 0px;
+	color: white;
 }
 
 #projectnumber
@@ -50,6 +60,7 @@ div.sphinxsidebar {
 	font: 100% Tahoma, Arial,sans-serif;
 	margin: 0px;
 	padding: 0px;
+	color: white;
 }
 
 #projectsection
@@ -59,4 +70,5 @@ div.sphinxsidebar {
 	margin: 10px;
 	margin-right: 10px;
 	vertical-align: middle;
+	color: white;
 }

doc/ns3_sphinx_theme/theme.conf

@@ -15,12 +15,12 @@ externalrefs = false
 
 bgcolor          = white
 textcolor	 = black
-linkcolor        = #3D578C
-visitedlinkcolor = #3D578C
+linkcolor        = #91A501
+visitedlinkcolor = #91A501
 
 headbgcolor      = #E3E3E3
 headtextcolor 	 = #373737
-headlinkcolor 	 = #3D578C
+headlinkcolor 	 = #91A501
 
 relbarbgcolor 	 = #D5D5D5
 relbarlinkcolor  = #373737
@@ -28,7 +28,7 @@ relbartextcolor  = #373737
 
 sidebarbgcolor 	 = #FAFAFA
 sidebartextcolor = #373737
-sidebarlinkcolor = #3D578C
+sidebarlinkcolor = #91A501
 sidebarbtncolor  = #D5D5D5
 
 footerbgcolor    = #D5D5D5