Emanuel Schütze f67afd1823 Responsive design improvements ... - Reduce search bar on small devices. - Use separate projector sidebar for small devices. - motion detail toolbar: show line number mode and change recommendation controls as dropdown (for small/extra small devices) or as button group (for medium/large devices).		2017-03-05 00:30:00 +01:00
..
core	Responsive design improvements	2017-03-05 00:30:00 +01:00