New margins and paddings in topbar and header.

1 files changed, 5 insertions, 1 deletions

diff --git a/local.scss b/local.scss
index b22e19b..4287171 100644
--- a/local.scss
+++ b/local.scss
@@ -48,7 +48,11 @@ DIV.inlinefooter {
 	font-size: 80%;
 }
 
-.topbar {
+div.header {
+	margin: 0 1em;
+}
+
+div.topbar {
 	padding: 1em 2em;
 }