Website optimizations

Usage of better logos, sticky search for snippet pages, minor fixes for the rest of the website.
This commit is contained in:
Angelos Chalaris
2018-04-09 11:24:34 +03:00
parent ea5014725b
commit daf48c59f0
21 changed files with 101 additions and 41 deletions

View File

@ -781,3 +781,11 @@ label.button.drawer-toggle {
background: transparent;
}
}
nav .input-group.vertical {
position: sticky;
top: 0;
z-index: 10;
background: #f8f8f8;
border-bottom: 0.0625rem solid var(--nv-br-col);
}