tree d6c83ea6a7fcb84ec17a73340bac5735a93fa507
parent 557e414eecabfa1d3dc5d6b2b9c07fb32070f8a2
author Uyen-Nhu Tran <125201939+uyen-nhu@users.noreply.github.com> 1773781419 +0100
committer Helge <stallkamp@ids-mannheim.de> 1785310385 +0200

Adjust the spacing between search bar and top navigation to improve usability (fixes #251)

Change-Id: I367f2252ee41f0b15eb6d4258b5d88ecbc6515e6