Added Debugkitex stylesheet