23.6.14: some styling