Three changes:
- font configurable for more elements now:
    font_size_breadcrumb: 16,
    font_size_nav: 16,
    font_size_help: 14
- app manager will produce a console entry when server starts with hyperlink to the server
- icons reordered and hotkeys added F1->F6 for them, left to right.