further css, and some other minor functionalities