docs: re-add dev-docs css because it's needed by diff reports

Change-Id: Ic3f334f5510b008cd1f744823e46fb4fdf5630bd
1 file changed