some tweaks to reveal css