small styling improvements in desktop gui