diff --git a/share/jupyter/hub/static/less/page.less b/share/jupyter/hub/static/less/page.less index 8152368b..cdc97524 100644 --- a/share/jupyter/hub/static/less/page.less +++ b/share/jupyter/hub/static/less/page.less @@ -1,13 +1,26 @@ .jpy-logo { - height: 40px; - margin: 8px; + height: 35px; + margin: 2px; } -div#header { - border-bottom: 1px solid #ccc; +#header { + border-bottom: 1px solid #e7e7e7; + height: 40px; } .hidden { display: none; } +.dropdown.navbar-btn{ + padding:0 5px 0 0; +} + +#login_widget{ + + & .navbar-btn.btn-sm { + margin-top: 5px; + margin-bottom: 5px; + } + +} diff --git a/share/jupyter/hub/static/less/variables.less b/share/jupyter/hub/static/less/variables.less index a133ce20..89b45e53 100644 --- a/share/jupyter/hub/static/less/variables.less +++ b/share/jupyter/hub/static/less/variables.less @@ -1,6 +1,7 @@ @border-radius-small: 2px; @border-radius-base: 2px; @border-radius-large: 3px; +@navbar-height: 20px; @jupyter-orange: #F37524; @jupyter-red: #E34F21; diff --git a/share/jupyter/hub/templates/admin.html b/share/jupyter/hub/templates/admin.html index 742bf8cf..90a8b027 100644 --- a/share/jupyter/hub/templates/admin.html +++ b/share/jupyter/hub/templates/admin.html @@ -31,9 +31,9 @@ - + Add User - Shutdown Hub + Shutdown Hub {% for u in users %} @@ -42,15 +42,19 @@ {{u.name}} {% if u.admin %}admin{% endif %} {{u.last_activity.isoformat() + 'Z'}} - + stop server + start server + + {% if admin_access %} access server {% endif %} - start server - + edit + + {% if u.name != user.name %} delete {% endif %} diff --git a/share/jupyter/hub/templates/page.html b/share/jupyter/hub/templates/page.html index 49255338..6bf4d2c1 100644 --- a/share/jupyter/hub/templates/page.html +++ b/share/jupyter/hub/templates/page.html @@ -88,9 +88,9 @@ {% if user %} - Logout + Logout {% else %} - Login + Login {% endif %}