Merge branch 'master' into newnames
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 12 Nov 2013 14:35:01 +0000 (15:35 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 12 Nov 2013 14:35:01 +0000 (15:35 +0100)
Conflicts:
ui/topmenu.py

README
trash/templates/view-unfold2.html [moved from ui/templates/view-unfold2.html with 100% similarity]
ui/templates/layout-unfold2.html
ui/topmenu.py
unfold/static/css/onelab_marko.css

diff --git a/README b/README
index d05ded4..3a894cc 100644 (file)
--- a/README
+++ b/README
@@ -32,6 +32,16 @@ $ make static (which is a shorthand for cleaning up and run manage collectstatic
   that creates templates/ 
 $ make templates [$ make redo (each time when you pull, do that and restart the server)]
 
+
+## Whenever doing a git pull the following operations are recommended:
+
+$ make static # will refresh static/ from all the pieces in the project
+$ make templates # same, for templates
+$ make redo-static # clears up (rm -rf) static/ first, then make static
+$ make redo-templates # ditto for templates
+$ make redo == make redo-static redo-templates
+
+
 * run a local server:
 $ manage.py runserver 0.0.0.0:8000
 -- or -- my advice:
index 954ce22..345f57f 100644 (file)
@@ -8,7 +8,7 @@
     </div><!--col-xs-9-->
     <div id='unfold2-margin' class='col-xs-3'>
       {% block unfold2_margin %}
-      "The related content area (define block 'related_main')"
+      "The related content area (define block 'unfold2_margin')"
       {% endblock unfold2_margin %}
     </div><!--col-xs-3-->
 {% endblock %}
index 1be7c28..3a94a21 100644 (file)
@@ -35,7 +35,6 @@ def topmenu_items (current,request=None):
             if d['label'][:curlen].lower() == current: 
                 d['is_active']=True
                 if up is not None: up['is_active']=True
-            print 'mark_active OUT','d=',d,'up',up
         for d in result:
             mark_active(d)
             if 'dropdown' in d:
index 1b992b9..92253f9 100644 (file)
@@ -9,10 +9,8 @@
 /*    color: #fff; */
 }
 
-.container h1 {
+.container h1, .container h2 {
     color: #fff !important;
-    font-family: Ubuntu;
-    margin-top: 60px;
 }
 
 div.plugin-outline-complete,