(bug 10437) Move texvc styling to shared.css. Also, apparently I forgot to commit...