merge jde_bar_search and bar_search branch

This commit is contained in:
Jana Deutschländer 2017-02-09 16:48:46 +01:00
commit 5671e6e5e8
19 changed files with 333 additions and 111 deletions

View file

@ -191,7 +191,7 @@
color: inherit;
font-size: @font-size-default;
margin-top: @very-small-spacing;
margin-top: .35rem;
}