CSS for producing docs in the ODI house style