add to readme: how to change window border size in Ubuntu's default theme