a little CSS to prettify it