{{ header_prelude }}
{% block head %} {% endblock head %}
</head>{# let's add these ones no matter what #}
-{% insert_str prelude "css/layout-unfold2.css" %}
{% insert_str prelude "js/jquery.min.js" %}
{% insert_str prelude "js/jquery.html5storage.min.js" %}
{% insert_str prelude "js/messages-runtime.js" %}
{% insert_str prelude "js/class.js" %}
-{% insert_str prelude "js/plugin_helper.js" %}
+{% insert_str prelude "js/plugin-helper.js" %}
{% insert_str prelude "js/mustache.js" %}
{% insert_str prelude "js/plugin.js" %}
{% insert_str prelude "js/manifold.js" %}
+{% insert_str prelude "js/topmenu.js" %}
+{% insert_str prelude "css/layout-unfold.css" %}
{% insert_str prelude "css/manifold.css" %}
+{% insert_str prelude "css/plugin.css" %}
+{% insert_str prelude "css/onelab_marko.css" %}
<body>
{% block container %}
{% block topmenu %}