From d015e48a9238b5818331c9f2bf0e1588edd6c5fe Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Mon, 4 Nov 2013 11:12:04 +0100 Subject: [PATCH] restore original style for topmenu --- unfold/page.py | 4 ++-- unfold/static/css/onelab_marko.css | 7 ++++++- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/unfold/page.py b/unfold/page.py index 5922ae7e..034b33b2 100644 --- 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 - 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): diff --git a/unfold/static/css/onelab_marko.css b/unfold/static/css/onelab_marko.css index 3ca8da7b..c31c0a79 100644 --- a/unfold/static/css/onelab_marko.css +++ b/unfold/static/css/onelab_marko.css @@ -167,22 +167,25 @@ body { padding-bottom: 0px; } +/* Thierry : turning this off 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); } +Thierry */ +/* Thierry : turning this off .navbar-nav li a, .navbar-nav li.other a { padding-top: 25px; padding-bottom: 20px; } +Thierry */ .navbar-nav li a:hover { color: #572bc9 !important; @@ -192,9 +195,11 @@ div.topmenu { background: #eee !important; } +/* Thierry : turning this off ul.logged-in { padding-top: 25px; } +Thierry */ button.logged-in { font-size: 1em; font-weight: bold; -- 2.43.0