/* stylesheet for developers */