From d429f365c382df258f1c328abbd0156d75cf1bfb Mon Sep 17 00:00:00 2001
From: Christina Toegl <toegl@tugraz.at>
Date: Wed, 11 Nov 2020 16:53:22 +0100
Subject: [PATCH] Add sticky position to local menu
---
packages/app-shell/src/app-shell.js | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/packages/app-shell/src/app-shell.js b/packages/app-shell/src/app-shell.js
index 557e5028..f1d98e1c 100644
--- a/packages/app-shell/src/app-shell.js
+++ b/packages/app-shell/src/app-shell.js
@@ -604,17 +604,21 @@ export class AppShell extends ScopedElementsMixin(LitElement) {
aside {
margin: 0;
- padding: 0 15px;
+ position: sticky;
+ top: 0;
+ width: 100%;
+ background-color: white;
+ z-index: 10;
}
aside h2.subtitle {
display: block;
- border: 1px solid black;
+ border-bottom: 1px solid black;
padding: 0.25em 0.5em;
}
aside .menu {
- border: black 1px solid;
+ border-bottom: black 1px solid;
border-top-width: 0;
}
--
GitLab