added list for minimap
minimap small css improvements.
Moved operators to be higher priority (point 8 of requests), since they are rare.
collapsing properly
trying to affix
blah
fixed, scrolls properly when it also goes over
Merge branch 'dev' into minimap

Conflicts:
	client/web/index.html
10 padding around minimap
Merge branch 'dev' into minimap

Conflicts:
	client/web/index.html
added a show hide button for minimap.
Merge branch 'dev' into minimap
fixed comments.