Include new CSS files in the disassembly distributions