Wed, 21 Nov 2018 15:05:09 +0100 |
Markus Kottlaender |
several UI improvements
|
Wed, 21 Nov 2018 12:36:06 +0100 |
Markus Kottlaender |
adjusted box shadows
|
Tue, 20 Nov 2018 09:11:46 +0100 |
Markus Kottlaender |
improved search styling
|
Tue, 20 Nov 2018 08:47:53 +0100 |
Markus Kottlaender |
implemented context sensitive box below search bar (see: issue224)
|
Mon, 19 Nov 2018 15:20:22 +0100 |
Markus Kottlaender |
made more use of bootstrap classes instead of custom css
|
Mon, 19 Nov 2018 14:13:01 +0100 |
Markus Kottlaender |
replaced custom css with bootstrap classes
|
Mon, 19 Nov 2018 13:02:48 +0100 |
Markus Kottlaender |
close bottleneck list: made searchbar collapse only if it was collapsed before
|
Mon, 19 Nov 2018 12:48:33 +0100 |
Markus Kottlaender |
give search bar minimum width
|
Mon, 19 Nov 2018 12:40:56 +0100 |
Markus Kottlaender |
merge
|
Mon, 19 Nov 2018 11:23:00 +0100 |
Markus Kottlaender |
made searchbar contextual
|
Mon, 19 Nov 2018 10:09:25 +0100 |
Thomas Junk |
fix: prevent identify tool from jumping during page load
|
Mon, 19 Nov 2018 09:09:27 +0100 |
Markus Kottlaender |
moved search icon/bar to the left, next to main menu
|
Mon, 19 Nov 2018 08:24:47 +0100 |
Markus Kottlaender |
html cleanup
|