css tweak for bigcode
reformatted, cleaned up