From 4d4e4badc9a820ec8c129d0e3538df29bcc1cbbb Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 19 Dec 2012 19:28:07 +0100
Subject: [PATCH] add missing deps - topmenu should most likely be a plugin

---
 templates/widget-topmenu.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/templates/widget-topmenu.html b/templates/widget-topmenu.html
index f41f538f..7e4a8b20 100644
--- a/templates/widget-topmenu.html
+++ b/templates/widget-topmenu.html
@@ -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">
-- 
2.43.0