Some css tweaks to pre and code