Use CSS to animate Sphinx shell & update style