Readded dmtcp.css.