update flatui-theme
add use of pretty-symbols-mode