Bookmarks 2.5

- Repositioned bookmarks ribbon;
- Added a layer for bookmarked portals;
- Added a highlighter for bookmarked portals;
- Minor fix;
Merge pull request #612 from ZasoGD/bookmarks-2.5

Bookmarks 2.5