Show selected page in menu bar.
Edit code page cleanup.
Mining results page cleanup.
Logoff page cleanup.
Robot page cleanup.
Mining queue overview improvements.
Mining queue visual improvements.