/* stylesheet for ppxxiii*/