Updates on search and something

Former-commit-id: 229baefa76ee3202dcf4aac3249a461b6cc51eed [formerly 2773046c33eee1ff79ef1d02238de37e14860726] [formerly 2d50f10c3f809c6135cc861eaf0360092a23ea3f [formerly 14ff4f2b74]] Former-commit-id: e766887e65390514cf827700c3ab0d5ed000c480 [formerly 7429be72884d3eb154e45dc638fd17dfcfdfaa62] Former-commit-id: d23373bf316295d6579e4bbc780f5b963c632c4d
2017-07-04 17:15:38 +01:00
parent 9c0c2d7a02
commit 231e1e1147
21 changed files with 92 additions and 50 deletions
@@ -53,6 +53,10 @@ header>div:last-child {
  justify-content: flex-end;
 }

+header .search-button {
+  display: none;
+}
+

 /* * * * * * * * * * * * * * * *
 *         MORE??       *