restore original style for topmenu

diff --git a/unfold/page.py b/unfold/page.py
index 5922ae7..034b33b 100644 (file)
--- a/unfold/page.py
+++ b/unfold/page.py
@@ -33,8 +33,8 @@ class Page:
         # queue of queries with maybe a domid, see enqueue_query
         self._queue=[]
         # global prelude object
         # queue of queries with maybe a domid, see enqueue_query
         self._queue=[]
         # global prelude object

-        self.prelude=Prelude(css_files='css/plugin.css')
-        self.prelude=Prelude(css_files='css/onelab_marko.css')
+        self.prelude=Prelude(css_files=[
+                'css/plugin.css','css/onelab_marko.css',])

 
     # record known plugins hashed on their domid
     def record_plugin (self, plugin):
 
     # record known plugins hashed on their domid
     def record_plugin (self, plugin):

diff --git a/unfold/static/css/onelab_marko.css b/unfold/static/css/onelab_marko.css
index 3ca8da7..c31c0a7 100644 (file)
--- a/unfold/static/css/onelab_marko.css
+++ b/unfold/static/css/onelab_marko.css
@@ -167,22 +167,25 @@ body {
     padding-bottom: 0px;
 }
 
     padding-bottom: 0px;
 }
 

+/* Thierry : turning this off

 div.topmenu { 
        padding-top: 0px;
        font-family: Ubuntu, Arial, sans-serif;
        font-weight: bold;
 div.topmenu { 
        padding-top: 0px;
        font-family: Ubuntu, Arial, sans-serif;
        font-weight: bold;

-       /* text-transform: ; */

        background: #fff;
        -webkit-box-shadow: 0px 10px 10px rgba(50, 50, 50, 0.44);
        -moz-box-shadow:    0px 10px 10px rgba(50, 50, 50, 0.44);
        box-shadow:         0px 10px 10px rgba(50, 50, 50, 0.44);
 }
        background: #fff;
        -webkit-box-shadow: 0px 10px 10px rgba(50, 50, 50, 0.44);
        -moz-box-shadow:    0px 10px 10px rgba(50, 50, 50, 0.44);
        box-shadow:         0px 10px 10px rgba(50, 50, 50, 0.44);
 }

+Thierry */

 
 

+/* Thierry : turning this off

 .navbar-nav li a,
 .navbar-nav li.other a {
        padding-top: 25px;
        padding-bottom: 20px;
 }
 .navbar-nav li a,
 .navbar-nav li.other a {
        padding-top: 25px;
        padding-bottom: 20px;
 }

+Thierry */

 
 .navbar-nav li a:hover {
        color: #572bc9 !important;
 
 .navbar-nav li a:hover {
        color: #572bc9 !important;


@@ -192,9 +195,11 @@ div.topmenu {
        background: #eee !important;
 }
 
        background: #eee !important;
 }
 

+/* Thierry : turning this off

 ul.logged-in { 
     padding-top: 25px; 
 }
 ul.logged-in { 
     padding-top: 25px; 
 }

+Thierry */

 button.logged-in { 
     font-size: 1em;
     font-weight: bold; 
 button.logged-in { 
     font-size: 1em;
     font-weight: bold;