Update codex.css

Formatting.