Changed Arachne CSS file name in documentation