Active server is now indicated in servers list via .ui-state-highlight.
Minor cosmetic changes to application settings page.