Fix doc stylesheets