add missing deps - topmenu should most likely be a plugin
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 19 Dec 2012 18:28:07 +0000 (19:28 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 19 Dec 2012 18:28:07 +0000 (19:28 +0100)
templates/widget-topmenu.html

index f41f538..7e4a8b2 100644 (file)
@@ -1,4 +1,6 @@
 {# <a id='menu_logo' href="/"><img class="logo" src="{{ STATIC_URL }}img/myslice-logo.png" alt="MySlice" /></a> #}
+{% insert_str prelude "bootstrap/js/bootstrap.js" %}
+{% insert_str prelude "bootstrap/css/bootstrap.css" %}
 {% insert_str prelude "css/topmenu.css" %}
 
 <div id='topmenu' class="navbar navbar-fixed-top">