diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-04-14 20:20:04 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-04-14 20:20:04 +0300 |
| commit | 5e1b0b111c797e42ef8fba49377494ef84b88392 (patch) | |
| tree | 810f5d15d77c088caf868a90617874e1e4ffd99f /assets/bootstrap/config.json | |
| parent | categories: sort categories in archive (diff) | |
| download | jekyll-theme-5e1b0b111c797e42ef8fba49377494ef84b88392.tar.gz jekyll-theme-5e1b0b111c797e42ef8fba49377494ef84b88392.zip | |
bootstrap: lower navbar height
This is experimental, I'm not sure it actually makes the navbar look
better, especially on mobile.
Diffstat (limited to '')
| -rw-r--r-- | assets/bootstrap/config.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/assets/bootstrap/config.json b/assets/bootstrap/config.json index 0d76a22..c9a66f2 100644 --- a/assets/bootstrap/config.json +++ b/assets/bootstrap/config.json @@ -140,7 +140,7 @@ "@container-md": "@container-desktop", "@container-large-desktop": "(1140px + @grid-gutter-width)", "@container-lg": "@container-large-desktop", - "@navbar-height": "50px", + "@navbar-height": "40px", "@navbar-margin-bottom": "@line-height-computed", "@navbar-border-radius": "@border-radius-base", "@navbar-padding-horizontal": "floor((@grid-gutter-width / 2))", |