improve the style of the live_info widget, closes #250#251

basnijholt merged 1 commit intomasterpython-adaptive/adaptive:masterfrom

prettier-live-infopython-adaptive/adaptive:prettier-live-infoCopy head branch name to clipboard