header: set header margin

inveniosoftware · Jun 19, 2020 · 5e7f3cc · 5e7f3cc
1 parent 684e2ef
commit 5e7f3cc
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/invenio_theme/assets/semantic-ui/less/invenio_theme/theme/elements/header.overrides b/invenio_theme/assets/semantic-ui/less/invenio_theme/theme/elements/header.overrides
@@ -8,4 +8,8 @@
 
 .ui.login.segment {
     padding: 15px 40px 40px 40px;
-}
+}
+
+.theme.header {
+    margin-bottom: 20px;
+}
diff --git a/invenio_theme/templates/semantic-ui/invenio_theme/header.html b/invenio_theme/templates/semantic-ui/invenio_theme/header.html
@@ -8,7 +8,7 @@
 #}
 
 
-<header>
+<header class="theme header">
 
   {%- block navbar %}
     <nav class="ui inverted menu borderless">